Multiple Quantifiers — 7.3ex II

Symbolize the following. All these problems require a second quantifier within the scope of the first.

universe of discourse: all living things
s: Shamu (the Seaworld orca)
g: the General Sherman tree (the
   largest tree in the world)
Ax: x is an animal
Bx: x is a beluga
Cx: x is a cat
Fx: x is a fish
Mx: x is a mammal
Nx: x lives in North America
Sx: x is a sea creature
Wx: x is a whale
Cxy: x is climbing y
Lxy: x is at least as large as y
  1. Some living thing is as as large as any other.
  2. There is no living thing of smallest size. (Hint)
  3. Some cat is as large as some whale.
  4. Some whale is at least as large as every cat. (Hint)
  5. There is a mammal at least as large as any fish. (Hint)
  6. Some cat climbing the General Sherman tree is at least as large as some sea creature.
  7. All whales are as large or larger than all fish.
  8. Some cat is a climber. (Hint)