home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / COPY1.IN < prev    next >
Text File  |  1996-06-04  |  609b  |  28 lines
  1.  write('loading done')?
  2.  
  3. %%%%%%%%%% psi-terms without coreference
  4.  
  5. X=ww(a=>1,b=>2),  Y=copy(X)?
  6. .
  7. %%%%%%%%%%% psi-termes with non cyclic coreference 
  8.  
  9. B=person(id=>S:string,wife(name=>S))?
  10. A=copy(B)?
  11. .
  12.  
  13.  
  14. N=person(id    =>name(  first=>string,
  15.                         last=>X:string),
  16.          father=>person(id=>name(last=>X & string)))?
  17. M=copy(N)?
  18.  
  19. %%%%%%%%%%% psi-termes with cyclic coreference
  20. %
  21. %A=X:person(     name  =>id(     first=>string,
  22. %                                last=>S:string),
  23. %                spouse=>person( name=>id(last=>S),
  24. %                                spouse=>X))?
  25. %B=copy(A)?
  26.  
  27.  
  28.