home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / SCHOOL.LF < prev    next >
Text File  |  1996-06-04  |  705b  |  25 lines
  1. person := {student ; employee}.
  2. employee := {staff ; faculty}.
  3. workstudy <| student.
  4. workstudy <| staff.
  5.  
  6. bob    <| student.
  7. piotr  <| student.
  8. pablo  <| student.
  9. elena  <| workstudy.
  10. simon  <| workstudy.
  11. art    <| staff.
  12. judy   <| staff.
  13. don    <| faculty.
  14. john   <| faculty.
  15. sheila <| faculty.
  16.  
  17. stu -> X:student(advisor  => faculty(secretary => Y:staff,
  18.                                      assistant => X),
  19.                  roommate => employee(representative => Y)).
  20.  
  21. emp -> employee(advisor  => don(secretary => elena,
  22.                                              assistant => U : student),
  23.                 roommate => V:student(representative => V),
  24.                 helper   => simon(spouse => U)).
  25.