Re: 'metalogical descriptions'

["Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>]

>Date:         Fri, 9 Dec 1994 03:22:10 +0000
>From: ucleaar <ucleaar%UCL.AC.UK@CUVMB.CC.COLUMBIA.EDU>


>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