From LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU  Sat Mar  6 22:52:38 2010
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>
Status: OR
X-From-Space-Date: Thu Apr  8 00:18:36 1993
X-From-Space-Address: @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET
Message-ID: <_KBN-A-MXwC.A.pL.200kLB@chain.digitalkingdom.org>

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
______________________________________________________________________________