Received: from uga.cc.uga.edu by nfs1.digex.net with SMTP id AA27608 (5.67b8/IDA-1.5 for ); Fri, 9 Dec 1994 16:33:10 -0500 Message-Id: <199412092133.AA27608@nfs1.digex.net> Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 5641; Fri, 09 Dec 94 16:30:41 EST Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 3325; Fri, 9 Dec 1994 13:11:55 -0500 Date: Fri, 9 Dec 1994 13:08:33 -0500 Reply-To: "Mark E. Shoulson" Sender: Lojban list From: "Mark E. Shoulson" Subject: Re: 'metalogical descriptions' X-To: lojban@cuvmb.cc.columbia.edu To: Bob LeChevalier In-Reply-To: <199412090858.DAA00618@cs.columbia.edu> (message from ucleaar on Fri, 9 Dec 1994 03:22:10 +0000) Status: RO X-From-Space-Date: Fri Dec 9 16:33:15 1994 X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu >Date: Fri, 9 Dec 1994 03:22:10 +0000 >From: ucleaar >How do we say things like > the predicate Gerku has 2 places [NB NOT the word 'gerku'] zo gerku cu gismu fi reda or loi du'u gerku cu bridi fi reda > the x1 place of Gerku is a category loi klesi cu sumti loi du'u gerku ku li pa(?) > members of x1 places are typically agents loi gasnu/zukte/etc na'o sumti fi li pa or loi sumti befi li pa na'o gasnu These may run afoul of the "any-of" arguments we're still dealing with, but assuming that's dealt with, I don't see this as any ifferent, requiring another "logical object" cmavo. Hmm, that last sentence... I seem to be expecting something about a set/class of "agents" there to indicate that it's members of that class that typically fill that role... but that can be fixed by someone with more feel for such things. >---- >And ~mark