P2.3.9 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