From LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU Sat Mar 6 22:52:15 2010 Received: from YALEVM.YCC.YALE.EDU by MINERVA.CIS.YALE.EDU via SMTP; Tue, 6 Apr 1993 10:24:09 -0400 Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2) with BSMTP id 8860; Tue, 06 Apr 93 10:24:00 EDT Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 0285; Tue, 06 Apr 93 10:24:23 EST Date: Tue, 6 Apr 1993 21:25:24 +1000 Reply-To: Nick Nicholas Sender: Lojban list From: Nick Nicholas Subject: Lojban->Prolog: conjunctions X-To: Lojban Mailing List To: Erik Rauch Status: OR X-From-Space-Date: Wed Apr 7 07:25:24 1993 X-From-Space-Address: @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET Message-ID: <_qV0FwaeVsK.A.IG.f00kLB@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 ______________________________________________________________________________