"A" statements

A: All S are P (x)(Sx > Px) == "There is an (x) such that if S is x, then P is an x (if there is such a thing as x)."