Translate the following inference to logic notation: If Thomas were a lawyer, then James is a taxi driver. For all x, if x were a taxi driver, then x is making tea. Jessica is a musician if and only if Thomas is a lawyer. Therefore if Jessica were a musician, then James is making tea.
p -> P(a). forall x: P(x) -> Q(x). q <-> p. Therefore q -> Q(a).