Difference between revisions of "experimental anaphorics"

From Lojban
Jump to navigation Jump to search
m (Gleki moved page jbocre: Experimental anaphorics to Experimental anaphorics without leaving a redirect: Text replace - "jbocre: ([A-Z])" to "$1")
m (Text replace - "jbocre: ([A-K])" to "$1")
Line 2: Line 2:
 
== Adnex-bound pro-sumti and ''zo'au'' ==
 
== Adnex-bound pro-sumti and ''zo'au'' ==
  
;'''''zo'au''''' [[jbocre: KOhA|KOhA]] :-- begin postnex
+
;'''''zo'au''''' [[KOhA|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.
 
* 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''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''koi'a''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''koi'e''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''koi'e''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''koi'i''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''koi'i''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''koi'o''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''koi'o''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''koi'u''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''koi'u''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''foi'a''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''foi'a''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''foi'e''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''foi'e''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''foi'i''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''foi'i''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''foi'o''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''foi'o''''' [[KOhA|KOhA]] :-- adnex-bound pro-sumti
  
;'''''foi'u''''' [[jbocre: KOhA|KOhA]] :-- adnex-bound pro-sumti
+
;'''''foi'u''''' [[KOhA|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 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.
Line 65: Line 65:
 
;''fei'u'' :-- interpreted as if ''ku goi fo'u''
 
;''fei'u'' :-- interpreted as if ''ku goi fo'u''
  
;'''''boi'a''''' [[jbocre: KEI|KEI]] :-- interpreted as if ''cei broda'' were assigned to terminated bridi
+
;'''''boi'a''''' [[KEI|KEI]] :-- interpreted as if ''cei broda'' were assigned to terminated bridi
  
;'''''boi'e''''' [[jbocre: KEI|KEI]] :-- interpreted as if ''cei brode'' were assigned to terminated bridi
+
;'''''boi'e''''' [[KEI|KEI]] :-- interpreted as if ''cei brode'' were assigned to terminated bridi
  
;'''''boi'i''''' [[jbocre: KEI|KEI]] :-- interpreted as if ''cei brodi'' were assigned to terminated bridi
+
;'''''boi'i''''' [[KEI|KEI]] :-- interpreted as if ''cei brodi'' were assigned to terminated bridi
  
;'''''boi'o''''' [[jbocre: KEI|KEI]] :-- interpreted as if ''cei brodo'' were assigned to terminated bridi
+
;'''''boi'o''''' [[KEI|KEI]] :-- interpreted as if ''cei brodo'' were assigned to terminated bridi
  
;'''''boi'u''''' [[jbocre: KEI|KEI]] :-- interpreted as if ''cei brodu'' were assigned to terminated bridi
+
;'''''boi'u''''' [[KEI|KEI]] :-- interpreted as if ''cei brodu'' were assigned to terminated bridi
  
 
;'''''vau'a''''' [[jbocre: VAU|VAU]] :-- interpreted as if ''cei broda'' were assigned to terminated bridi
 
;'''''vau'a''''' [[jbocre: VAU|VAU]] :-- interpreted as if ''cei broda'' were assigned to terminated bridi
Line 111: Line 111:
 
==== x1-binders ====
 
==== x1-binders ====
  
;'''''oi'a''''' [[jbocre: I|I]] :-- interpreted as if ''i la'e di'u''
+
;'''''oi'a''''' [[I|I]] :-- interpreted as if ''i la'e di'u''
  
 
;'''''kai'a''''' [[jbocre: NU|NU]] :-- interpreted as if ''ka ce'u''
 
;'''''kai'a''''' [[jbocre: NU|NU]] :-- interpreted as if ''ka ce'u''

Revision as of 14:45, 23 March 2014

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 Rosta

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