home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / SCHOOL.REF < prev    next >
Text File  |  1996-06-04  |  2KB  |  78 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  6.             roommate => employee(representative => _A)).
  7.  
  8. --1> 
  9. *** Yes
  10. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  11.             roommate => employee(representative => _A)), 
  12. B = employee(advisor => don(assistant => _B: student,secretary => elena),
  13.              helper => simon(spouse => _B),
  14.              roommate => _C: student(representative => _C)).
  15.  
  16. ----2> 
  17. *** Yes
  18. A = workstudy(advisor => don(assistant => A,
  19.                              secretary => _A: elena(representative => _A)),
  20.               helper => simon(spouse => A),
  21.               roommate => _A), 
  22. B = A.
  23.  
  24. ------3> 
  25. *** No
  26. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  27.             roommate => employee(representative => _A)), 
  28. B = employee(advisor => don(assistant => _B: student,secretary => elena),
  29.              helper => simon(spouse => _B),
  30.              roommate => _C: student(representative => _C)).
  31.  
  32. ----2> 
  33. *** No
  34. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  35.             roommate => employee(representative => _A)).
  36.  
  37. --1> 
  38. *** No
  39. > > 
  40. *** Yes
  41. A = workstudy(advisor => don(assistant => A,
  42.                              secretary => _A: elena(representative => _A)),
  43.               helper => simon(spouse => A),
  44.               roommate => _A).
  45.  
  46. --1> 
  47. *** No
  48. > > 
  49. *** No
  50. > 
  51. *** Yes
  52. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  53.             roommate => employee(representative => _A)).
  54.  
  55. --1> 
  56. *** Yes
  57. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  58.             roommate => employee(representative => _A)).
  59.  
  60. ----2> 
  61. *** Yes
  62. A = workstudy(advisor => faculty(assistant => A,secretary => _A: staff),
  63.               roommate => employee(representative => _A)).
  64.  
  65. ------3> 
  66. *** No
  67. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  68.             roommate => employee(representative => _A)).
  69.  
  70. ----2> 
  71. *** No
  72. A = student(advisor => faculty(assistant => A,secretary => _A: staff),
  73.             roommate => employee(representative => _A)).
  74.  
  75. --1> 
  76. *** No
  77. > 
  78.