Translate the following inference to logic notation: If William were a poet, then Charles is a bartender. For all x, if x_17 were a bartender, then x_17 is sleeping. If Charles sleeps, then William is a poet. Charles is a bartender. Therefore Charles is sleeping.
p -> P(a). forall x: P(x) -> Q(x). Q(a) -> p. P(a). Therefore Q(a).