History: Experimental anaphorics

Source of version: 3 (current)

!Adnex-bound pro-sumti and ''zo'au'' ;__''zo'au''__ [[ KOhA ] :-- begin postnex * Every ''zo'au'' corresponds to an implicit or explicit ''zo'u'' in the same bridi. ''zo'u--zo'au'' correspondences nest. Every implicit or explicit ''zo'u'' terminates a prenex. Every ''zo'au'' begins a postnex. A postnex and its matching prenex jointly form an adnex. Scope of elements within the same adnex is left-to-right: the earlier element has scope over the later. Items in an outer adnex have scope over every item in an inner adnex. ;__''koi'a''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''koi'e''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''koi'i''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''koi'o''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''koi'u''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''foi'a''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''foi'e''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''foi'i''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''foi'o''__ [[ KOhA ] :-- adnex-bound pro-sumti ;__''foi'u''__ [[ KOhA ] :-- adnex-bound pro-sumti * '''Binding of adnex-bound pro-sumti in a prenex.''' The nth adnex-bound pro-sumti in a prenex is bound by the nth adnex-bound pro-sumti in the postnex portion of the same adnex. * '''Binding of adnex-bound pro-sumti, A, that is not in a prenex:''' ** If there is another adnex-bound pro-sumti, P, in a prenex with scope over A, and P and A have the same shape, then P binds A. ** Otherwise, A is bound by sumti S (as if S were ''S goi A''), where S is the leftmost sumti satisfying the following conditions: *** S is in an adnex with scope over A. *** S is not a quantified da-series KOhA. *** S does not already contain a ''goi KOhA''. *** S does not already bind an earlier adnex-bound pro-sumti. * I think the above requires a better explanation, as it sounds like it could be useful - but everything below here seems like frivolous ways to save syllables. It is not a flaw in Lojban if sentences happen to be longer than their English equivalents! --((rab.spir)) * It is a flaw in Lojban if we shun the precision it affords us just because the precision requires too much verbosity. There is no implicit comparison to English; English is incapable of the precision, fullstop. --((And)) !!!Anaphor-binding terminators selmaho KU ;''kei'a'' :-- interpreted as if ''ku goi ko'a'' ;''kei'e'' :-- interpreted as if ''ku goi ko'e'' ;''kei'i'' :-- interpreted as if ''ku goi ko'i'' ;''kei'o'' :-- interpreted as if ''ku goi ko'o'' ;''kei'u'' :-- interpreted as if ''ku goi ko'u'' ;''fei'a'' :-- interpreted as if ''ku goi fo'a'' ;''fei'e'' :-- interpreted as if ''ku goi fo'e'' ;''fei'i'' :-- interpreted as if ''ku goi fo'i'' ;''fei'o'' :-- interpreted as if ''ku goi fo'o'' ;''fei'u'' :-- interpreted as if ''ku goi fo'u'' ;__''boi'a''__ [[ KEI ] :-- interpreted as if ''cei broda'' were assigned to terminated bridi ;__''boi'e''__ [[ KEI ] :-- interpreted as if ''cei brode'' were assigned to terminated bridi ;__''boi'i''__ [[ KEI ] :-- interpreted as if ''cei brodi'' were assigned to terminated bridi ;__''boi'o''__ [[ KEI ] :-- interpreted as if ''cei brodo'' were assigned to terminated bridi ;__''boi'u''__ [[ KEI ] :-- interpreted as if ''cei brodu'' were assigned to terminated bridi ;__''vau'a''__ [[ VAU ] :-- interpreted as if ''cei broda'' were assigned to terminated bridi ;__''vau'e''__ [[ VAU ] :-- interpreted as if ''cei brode'' were assigned to terminated bridi ;__''vau'i''__ [[ VAU ] :-- interpreted as if ''cei brodi'' were assigned to terminated bridi ;__''vau'o''__ [[ VAU ] :-- interpreted as if ''cei brodo'' were assigned to terminated bridi ;__''vau'u''__ [[ VAU ] :-- interpreted as if ''cei brodu'' were assigned to terminated bridi !!!Anaphor-binding ZOhU selmaho ZOhU ;''kau'a'' :-- interpreted as if ''ce'u goi ko'a zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi ko'a zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''kau'e'' :-- interpreted as if ''ce'u goi ko'e zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi ko'e zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''kau'i'' :-- interpreted as if ''ce'u goi ko'i zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi ko'i zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''kau'o'' :-- interpreted as if ''ce'u goi ko'o zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi ko'o zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''kau'u'' :-- interpreted as if ''ce'u goi ko'u zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi ko'u zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''fau'a'' :-- interpreted as if ''ce'u goi fo'a zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi fo'a zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''fau'e'' :-- interpreted as if ''ce'u goi fo'e zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi fo'e zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''fau'i'' :-- interpreted as if ''ce'u goi fo'i zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi fo'i zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''fau'o'' :-- interpreted as if ''ce'u goi fo'o zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi fo'o zo'u'' if following ''poi, noi, voi'' or ''poi'i''. ;''fau'u'' :-- interpreted as if ''ce'u goi fo'u zo'u'' if following ''ka'' or ''du'au'' and as if ''ke'a goi fo'u zo'u'' if following ''poi, noi, voi'' or ''poi'i''. !!!x1-binders ;__''oi'a''__ [[ I ] :-- interpreted as if ''i la'e di'u'' ;__''kai'a''__ [[ NU ] :-- interpreted as if ''ka ce'u'' ;__''dau'au''__ [[ NU ] :-- interpreted as if ''du'au ce'u'' ;__''poi'ai''__ [[ NU ] :-- interpreted as if ''poi'i ke'a'' ;__''poi'a''__ [[ NOI ] :-- interpreted as if ''poi ke'a'' ;__''noi'a''__ [[ NOI ] :-- interpreted as if ''noi ke'a'' ;__''voi'a''__ [[ NOI ] :-- interpreted as if ''voi ke'a''