Translate the following inference to logic notation: Thomas is not an office clerk. For all x, z is an office clerk. Therefore David is climbing a mountain or it is raining.
~P(a). forall x: P(x). Therefore p or q.