Translate the following inference to logic notation: Sarah is driving a car. Sarah is rich or Elisabeth is working. If Elisabeth works, then Sarah is a server. For all x, if x_14 were rich, then x_14 is a server. Therefore Sarah is driving a car and Sarah is a server.
p. P(a) or q. q -> Q(a). forall x: P(x) -> Q(x). Therefore p and Q(a).