Translate the following statements into symbolic form, using quantifiers where appropriate. Let A(x) = x is an apple, S(x) = x is sour, R(x) = x is red, G(x) = x is green.
a. All apples are either red or sour.
b. Some apples are sour but not green.
c. If all apples are red, then no apples are sour.
