∃xy. Logician(x) ∧ Likes(x,Aristotle)