Translate the following inference to logic notation: If Barbara drives a car, then Linda is a cashier. For all x, if x_15 drinks water, then x_15 is playing squash. For all x, if x_15 plays squash, then x_15 is a cashier. Barbara is driving a car or Linda is drinking water. Therefore Linda is a cashier or Robert is excited.
p -> P(a). forall x: Q(x) -> R(x). forall x: R(x) -> P(x). p or Q(a). Therefore P(a) or q.