Received: from YALEVM.YCC.YALE.EDU by MINERVA.CIS.YALE.EDU via SMTP; Wed, 7 Apr 1993 00:19:46 -0400
Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2)    with BSMTP id 3886; Wed, 07 Apr 93 00:19:38 EDT
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with  BSMTP id 6505; Wed, 07 Apr 93 00:20:04 EST
Date:         Wed, 7 Apr 1993 14:18:36 +1000
Reply-To: Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>
Sender: Lojban list <LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU>
From: Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>
Subject:      Prolog continued: event abstractions in.
X-To:         Lojban Mailing List <lojban@cuvmb.cc.columbia.edu>
To: Erik Rauch <erikr@MINERVA.CIS.YALE.EDU>
Message-ID: <lTCmg_MS-EJ.A.BM.200kLB@chain.digitalkingdom.org>
Content-Length: 1660

mi nelci lenu ko'a banli ro lo xelso ku poi ke'a prami le gugde kei ku poi
ke'a cafne .e la kserkes. gi'e zutse le stizu

(Takes 16 seconds to parse).
***

c(e,
  c(e,
    q(suho(1), _FJKVW,
      nu(_FJKVW,
         q(ro, _FJLAZ,
           xelso(_FJLAZ, _FJLGI, _FJLGJ, _FJLGK, _FJLGL),
           q(suho(1), _FJLKF,
             gugde(_FJLKF, _FJLPO, _FJLPP, _FJLPQ, _FJLPR), [],
             prami(_FJLAZ, _FJLKF, _FJLKG, _FJLKH, _FJLKI)
            ),
           banli(koha, _FJLAZ, _FJLBA, _FJLBB, _FJLBC)
          ),
         _FJLSS, _FJLST, _FJLSU),
       cafne(_FJKVW, _FJLWO, _FJLWP, _FJLWQ, _FJLWR),
       nelci(mi, _FJKVW, _FJKUU, _FJKUV, _FJKUW)
     ),
    nelci(mi, [kserkses], _FJKUU, _FJKUV, _FJKUW)
   ),
  q(suho(1), _FJMDN,
    stizu(_FJMDN, _FJMID, _FJMIE, _FJMIF, _FJMIG), [],
    zutse(mi, _FJMDN, _FJMDO, _FJMDP, _FJMDQ)
   )
 )

***

AND(
    AND(
        {E X
          nu(X,
             A Y
               xelso(Y):
               {E Z
                 gugde(Z);
                 prami(Y,Z)};
               banli(koha, Y)
             ):
           cafne(X);
           nelci(mi, X)
        },
        nelci(mi, [kserkses])
       ),
    E W:stizu(W);zutse(mi,W)
   )

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nick S. Nicholas,                      "Rode like foam on the river of pity
CogSci & CompSci student,               Turned its tide to strength
University of Melbourne, Australia.     Healed the hole that ripped in living"
nsn@{munagin.ee|mundil.cs}.mu.oz.au           - Suzanne Vega, Book Of Dreams
______________________________________________________________________________