Let D be a set of dogs and let T be a subset of terriers, so that the predicate T(x) means "dog x is a terrier". Let F(x) mean "dog x is fierce" and let S(x, y) mean "dog x is smaller than dog y". Write quantified statements for the following, using only variables whose type is D: a. There exists a fierce terrier.
b. All terriers are fierce.
c. There exists a fierce dog who is smaller than all terriers.
d. There exists a terrier who is smaller than all fierce dogs, except itself.