Translate the following inference to logic notation: For all x, if x_10 goes running, then x_10 is a server. William is running if and only if Richard is an artist. Therefore if Richard were an artist, then William is a server.
forall x: P(x) -> Q(x). P(a) <-> p. Therefore p -> Q(a).