Does {be} set new defaults for places linked to, or modify places structure?
First, I’ll list some assumptions and terminology:
- A1. Slightly misleadingly, selbri correspond to the formal logic notion of predicate, and bridi to proposition.
- A2. There are default values for places of selbri. If there are no
sumti present for given place, it is have its default value. Most often
it is {zo'e}, but many {gismu} have other defaults for some places (ma'a
{lo tefargi} is air).
- A3. Pro-bridi, both anaphoric and assignable, are selbri with
defaults for their places corresponding to the arguments to their
antecedents. Among other things, this allows for tersu'i anaphora like
{lo sego'i} selecting the default value of go'i x2, being the actual x2
of the previous bridi.
- A4. {du'u} creates bridi abstraction, and {ka} creates selbri
abstraction*. {kai'u} creates immediate selbri and is equivalent to
{me'au lo ka}. They work differently from pro-bridi, not changing the
defaults of resulting selbri, but allowing for rearranging of place
structure. Only places filled with {ce'u} end up being places of the
resulting selbri; values of all other places, including defaluts, are
incorporated in the meaning of selbri itself.
Examples:
- E1. {fagri} imply {zo'e fagri zo'e lo fagri a lo vacri}
- E2. {ti fagri fi lo klirnflori .i ta go'i} imply
{ti fagri zo'e lo klirnflori
.i ta fagri zo'e lo klirnflori}
- E3. {ti kai'u ce'u fagri fi lo klirnflori kei cei broda. i ta broda} imply
{ti broda. i ta broda}, broda being unary predicate created by kai'u — note the absence of {zo'e}.
Now finally the questions:
Are my assumptions right? If they are, are {be} working like pro-sumti
or more like {kai'u}**? That is, what places have selbri created by
linking arguments to the basic selbri with {be}, and what are their
default values?
Example:
Does {fagri be fi lo klirnflori} have following places (= means default value):
- F1. x1 = zo'e, x2 = zo'e, x3 = lo klirnflori
- F2. x1 = zo'e, x2 = zo'e. {lo klirnflori} is incorporated into meaning of resulting selbri itself.
- F3. Some other variant?
* It seems that there was historical disagreement about this; my interpretation is close to http://www.lojban.org/tiki/tiki-index.php?page=Tsani%27s+Interpretations:+Abstractors in respect to {du'u} and {ka}.
** Place structure modification and rearrangement with {be} is favored by http://mw.lojban.org/lmw/Advanced_Place_Structure_Mangling