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 >
Wrap
Text File
|
1996-06-04
|
705b
|
25 lines
person := {student ; employee}.
employee := {staff ; faculty}.
workstudy <| student.
workstudy <| staff.
bob <| student.
piotr <| student.
pablo <| student.
elena <| workstudy.
simon <| workstudy.
art <| staff.
judy <| staff.
don <| faculty.
john <| faculty.
sheila <| faculty.
stu -> X:student(advisor => faculty(secretary => Y:staff,
assistant => X),
roommate => employee(representative => Y)).
emp -> employee(advisor => don(secretary => elena,
assistant => U : student),
roommate => V:student(representative => V),
helper => simon(spouse => U)).