Translate the following inference to logic notation: Linda is playing squash. Therefore there is at least one x for which z will play squash or z will go running.
P(a). Therefore exists x: P(x) or Q(x).