Which Quantifier? — 7.3ex I

Symbolize the following. The main concern for these problems is to determine whether a universal or existential quantifier is to be used.

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 larger than y  
  1. Every beluga is a whale.
  2. A beluga is a whale.(Hint)
  3. A cat is climbing the General Sherman tree. (Hint)
  4. If any cat is climbing the General Sherman tree, then that cat lives in North America.
  5. Whales are mammals. (Hint)
  6. Cats live in North America. (Hint)
  7. If any cat is climbing the General Sherman tree, then there are cats living in North America.