∃xy. Happy(x) ∧ Likes(Frege,y)