From lojban@cuvmb.bitnet Mon Nov 25 00:21:20 1996
Received: from relay-6.mail.demon.net by stryx.demon.co.uk with SMTP
	id AA16806 ; Mon, 25 Nov 96 00:21:17 GMT
Received: from relay-6.mail.demon.net by mailstore for ia@stryx.demon.co.uk
          id 848865064:6:01459:2; Sun, 24 Nov 96 19:51:04 GMT
Received: from cunyvm.cuny.edu ([128.228.1.2]) by relay-5.mail.demon.net
           id aa519336; 24 Nov 96 19:51 GMT
Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3)
   with BSMTP id 5088; Sun, 24 Nov 96 14:50:51 EST
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with
 BSMTP id 1083; Sun, 24 Nov 96 14:50:25 EDT
Date:         Sun, 24 Nov 1996 14:50:34 -0500
Reply-To:     "Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
From:         "Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>
Subject:      Re: subordinate interrogatives
X-To:         lojban@cuvmb.cc.columbia.edu
To:           Multiple recipients of list LOJBAN <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
In-Reply-To:  <199611230229.VAA27090@cs.columbia.edu>
              (jorge%INTERMEDIA.COM.AR@CUVMB.CC.COLUMBIA.EDU)
Message-ID: <848865062.519336.0@cunyvm.cuny.edu>
Status: R


>Date:         Fri, 22 Nov 1996 23:29:09 -0300
>From: "Jorge J. Llambias" <jorge%INTERMEDIA.COM.AR@CUVMB.CC.COLUMBIA.EDU>
>
>Excellent! Excelentisimo!
>
>Let's see now, we can also do {mokau}:
>
>        ko'a djuno ku'au mi mo kau
>        she  knows that  I  Qu N.I.F.
>        "She knows what I am."
>
>Which expands to:
>
>        ro bu'a zo'u ge da jei zei jei gi ko'a djuno ku'au
>        da jei mi bu'a
>        "For every F(), there is something that is a truth value and
>        that she thinks is the truth value of the proposition F(mi)."

This reminds me of when I first ran into these second-order propositions, I
think with a sentence in the Book of Esther where it says "For she had told
the King what he (Mordecai) was to her."  I don't think we needed a ku'au
for it.

~mark