Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0rG9mC-00007DC; Fri, 9 Dec 94 20:10 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 7245; Fri, 09 Dec 94 20:10:54 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 7244; Fri, 9 Dec 1994 20:10:51 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 1835; Fri, 9 Dec 1994 19:07:27 +0100 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: Veijo Vilva In-Reply-To: <199412090858.DAA00618@cs.columbia.edu> (message from ucleaar on Fri, 9 Dec 1994 03:22:10 +0000) Content-Length: 908 Lines: 38 >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