home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / CONDPRED.LF < prev    next >
Text File  |  1996-06-04  |  26b  |  7 lines
  1.  
  2. p(x).
  3. p(a).
  4. p(c).
  5. p(a).
  6.  
  7.