Translate the following inference to logic notation: For all x, x_16 will listen to a song if and only if x_16 is an office clerk. Charles is not listening to a song. Jessica is a server if and only if Charles is not an office clerk. Therefore Jessica is a server.
forall x: P(x) <-> Q(x). ~P(a). p <-> ~Q(a). Therefore p.