Translate the following inference to logic notation: It is overcast. If it is overcast, then it is late. For all x, x_9 is a soldier. Therefore Barbara is a soldier and it is late.
p. p -> q. forall x: P(x). Therefore P(a) and q.