From nsn  Sat Mar  6 22:52:11 2010
From: nsn (Nick Nicholas)
Subject: Lojban->Prolog: conjunctions
To: lojban@cuvmb.cc.columbia.edu (Lojban Mailing List)
Date: Tue, 6 Apr 1993 21:25:24 +1000 (EST)
Cc: nsn (Nick Nicholas)
Mime-Version: 1.0
X-Mozilla-Status: 0001
Message-ID: <njn95Qury2.A.MF.b00kLB@chain.digitalkingdom.org>

mi .e do cu prami ro lo nanmu gi'e xebni ro lo ninmu

****

Note: c(C,X,Y) means C(X,Y), where C is some binary conjunction. Here it is
"e", meaning AND.

[c(e, q(la, mi, [], [], c(e, q(ro, _FIPVD, nanmu(_FIPVD, _FIRSQ, _FIRSR, _FIRSS,
 _FIRST), [], prami(mi, _FIPVD, _FIPVE, _FIPVF, _FIPVG)), q(ro, _FISRZ, ninmu(_F
ISRZ, _FIUPM, _FIUPN, _FIUPO, _FIUPP), [], xebni(mi, _FISRZ, _FISSA, _FISSB, _FI
SSC)))), q(la, koha, [], [], c(e, q(ro, _FIPVD, nanmu(_FIPVD, _FIRSQ, _FIRSR, _F
IRSS, _FIRST), [], prami(koha, _FIPVD, _FIPVE, _FIPVF, _FIPVG)), q(ro, _FISRZ, n
inmu(_FISRZ, _FIUPM, _FIUPN, _FIUPO, _FIUPP), [], xebni(koha, _FISRZ, _FISSA, _F
ISSB, _FISSC)))))]

Translation

AND(
    AND(
        All x (man x) loves(mi,x) ,
        All y (woman y) hates(mi,x)),
    AND(
        All x (man x) loves(koha,x) ,
        All y (woman y) hates(koha,y))).

Note that I'm using iota quantification for names and anaphors; this is left
in for ease of anaphor resolution later, and can be stripped out.

Tomorrow I do event abstractions.

    
    
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
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
______________________________________________________________________________