@lysander07 @vrandecic This gives me so much hope for symbolic approaches!