Translate the following inference to logic notation: Michael is playing squash. For all x, if y works, then y is a police officer. Thomas is working. Therefore Michael is playing squash and Thomas is a police officer.
p. forall x: P(x) -> Q(x). P(a). Therefore p and Q(a).