Using the predicate symbols shown and appropriate quantifiers, write each English language statement as a predicate wff. (The domain is the whole world) A(x) : x is an apple O(x) : x is an orange C(x) : x is a cherry S(x,y) : x is smaller than y a. Only cherries are smaller than apples b. If there is a cherry that is smaller than an orange, then all cherries are smaller than some oranges.