title: Every mathematician is a scientis but only some mathematicians are teachers
body: <p>I can't figure out the FOL for this question.. Need help with this question. I have tried ∀ x, ∃y mathematician(x) , mathematician (y) -> scientist (x) &amp; teacher (y)</p>