Translate the following inference to logic notation: Charles is playing squash and Michael is an artist. For all x, x_23 is a soldier and x_23 is excited. Therefore Mary is a soldier.
p and q. forall x: P(x) and Q(x). Therefore P(a).