Translate the following inference to logic notation: For all x, x_14 is not a soldier. Charles is a soldier if and only if Patricia is climbing a mountain. Therefore Patricia is not climbing a mountain or Jessica is poor.
forall x: ~P(x). P(a) <-> p. Therefore ~p or q.