[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: COI, UI (was Re: cfari)
Jorge Llamb��)B�as scripsit:
> > The x1 of fancu is the abstract function, whereas x4 is the lambda-expresion
> > (or equivalent) that specifies it.
>
> Shouldn't those two be interreplaceable?
No. x1 and x4 are analogous to li and me'o.
> What other gismu places
> are like the x1 of fancu and what other places are like the x4?
x1 and x2 of girzu respectively, except that x4 is a text, not a property.
> Or are they sui generis? Is the x2 of sumti like the x1 of fancu,
> like the x4, or something else?
x2 of sumti is like the x1 of fancu.
--
Only do what only you can do. John Cowan <jcowan@reutershealth.com>
--Edsger W. Dijkstra, http://www.reutershealth.com
deceased 6 August 2002 http://www.ccil.org/~cowan