Translate the following inference to logic notation: If Robert listens to a song, then Barbara is running. For all x, if x_10 were a mechanic, then x_10 is listening to a song. Robert is a mechanic or it is late. If it is late, then Barbara is running. Therefore Barbara is running.
P(a) -> p. forall x: Q(x) -> P(x). Q(a) or q. q -> p. Therefore p.