Translate the following inference to logic notation: David is a soldier. For all x, if x_14 were a soldier, then x_14 is making tea. Therefore David is making tea or it is late.
P(a). forall x: P(x) -> Q(x). Therefore Q(a) or p.