Translate the following inference to logic notation: It is snowing or Mary is a soldier. David is a musician. For all x, if x_16 were a soldier, then x_16 is excited. If it snows, then Mary is excited. Therefore Mary is excited.
p or P(a). q. forall x: P(x) -> Q(x). p -> Q(a). Therefore Q(a).