Translate the following inference to logic notation: Mary is an office clerk and Sarah is working. For all x, x_23 is a server and x_23 is a lawyer. Therefore Mary is an office clerk.
p and q. forall x: P(x) and Q(x). Therefore p.