Translate the following inference to logic notation: Karen is a janitor. For all x, x_14 is not a bartender. Sarah is climbing a mountain if and only if Jennifer is a bartender. Therefore Sarah is not climbing a mountain and Karen is a janitor.
p. forall x: ~P(x). q <-> P(a). Therefore ~q and p.