[mah1]

Use the predicates
A(x; y) : x admires y
B(x; y) : x attended y
W(x; y) : x is the wife of y
P(x) : x is a professor
S(x) : x is a student
L(x) : x is a lecture
and the nullary function symbols (constants)
m: Mary
j : John
to translate the following into predicate logic:
(a) Mary admires every professor.
(b) Some professor admires Mary.
(c) Mary admires herself.
(d) No student attended every lecture.
(e) No lecture was attended by any student.
(f) If John has a wife, he admires her.