Translate the following inference to logic notation: William is working. For all x, if x_10 were a cashier, then x_10 is drinking water. If William works, then Linda is a cashier. Therefore Linda is drinking water.
p. forall x: P(x) -> Q(x). p -> P(a). Therefore Q(a).