Translate the following inference to logic notation: For all x, if x_16 plays a game, then x_16 is a server. If Barbara drinks water, then Karen is a server. Charles is an office clerk. Barbara is drinking water or Karen is playing a game. Therefore Karen is a server.
forall x: P(x) -> Q(x). p -> Q(a). q. p or P(a). Therefore Q(a).