Exercise 12.25

Translate the following description logic expression (from page description-logic-ex) into first-order logic, and comment on the result:

$$And(Man, AtLeast(3,Son), AtMost(2,Daughter), All(Son,And(Unemployed,Married, All(Spouse,Doctor ))), All(Daughter,And(Professor, Fills(Department ,Physics,Math))))$$