2.5e: Symbolizations in SL

Let's do some symbolization with names.

l: Lamb, m: Moss, n: Nute

A_: ___ is an administrator.
M_: ___ manages the OU hotel.
T_:  ___ tends the OU golf course.
W_:  ___ works for OU.

You must use upper and lower case letters here: You WILL need the shift-key!

  1. Moss is an administrator. (hint)
  2. Neither Moss nor Lamb tends the OU golf course. (hint)
  3. Moss is an administrator only if she manages the OU hotel.
  4. Lamb is an administrator while Nute tends the OU golf course . (hint)
  5. Moss works for OU but Lamb does not.
  6. Moss works for OU however Lamb does not. (hint)
  7. Moss works for OU if Lamb does not. (hint)
  8. Moss is an administrator while Lamb is not.
  9. Lamb's working for OU is a necessary condition for him to be OU hotel manager. (hint)
  10. Moss's working for OU is a sufficient condition for her to be OU hotel manager.
  11. Nute doesn't work for OU unless he manages the OU hotel. (hint)
  12. Lamb is neither OU hotel manager nor golf course tender.
  13. Moss is an OU admistrator if she's manager of the OU hotel. (hint)
  14. If Moss is an OU administrator then she's neither OU hotel manager nor tender of the OU golf course.