Translate the following inference to logic notation: For all x, if x_25 were a server, then x_25 is excited. Joseph is running. Richard is a server. Therefore Joseph is running or Michael is writing a letter.
forall x: P(x) -> Q(x). p. P(a). Therefore p or q.