Translate the following inference to logic notation: For all x, x_10 will take a plane if and only if x_10 is a server. William is taking a plane. William is not a server. Therefore James is working.
forall x: P(x) <-> Q(x). P(a). ~Q(a). Therefore p.