If people are professors who take a historical approach, then they are not contemporary academics who enjoy learning.
∀x (Professor(x) ∧ Take(x, historicalApproach) → ¬(ContemporaryAcademic(x) ∧ Enjoy(x, learning)))