home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / PERSON2.REF < prev    next >
Text File  |  1996-06-04  |  176b  |  10 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. X = [_A: person(spouse => _B: person(spouse => _A)),_B].
  6. --1> > 
  7. *** Yes
  8. X = [_A: married_person(spouse => _B: married_person(spouse => _A)),_B].
  9. --1> > 
  10.