Prolog continued: event abstractions in.

[Nick Nicholas <nsn@MULLIAN.EE.MU.OZ.AU>]

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
______________________________________________________________________________