Translate the following inference to logic notation: Elisabeth is playing squash. If Elisabeth plays squash, then Jennifer is reading a book. For all x, x_13 will read a book if and only if x_13 will work. Therefore Jennifer is working.
p. p -> P(a). forall x: P(x) <-> Q(x). Therefore Q(a).