experimental anaphorics: Difference between revisions
Jump to navigation
Jump to search
m (Text replace - "jbocre: ([a-z])" to "$1") |
No edit summary |
||
Line 1: | Line 1: | ||
== Adnex-bound pro-sumti and ''zo'au'' == | == Adnex-bound pro-sumti and ''zo'au'' == | ||
;'''''zo'au''''' | ;'''''zo'au''''' {{selmaho|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''''' | ;'''''koi'a''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''koi' | ;'''''koi'e''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''koi' | ;'''''koi'i''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''koi' | ;'''''koi'o''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;''''' | ;'''''koi'u''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''foi' | ;'''''foi'a''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''foi' | ;'''''foi'e''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''foi' | ;'''''foi'i''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''foi' | ;'''''foi'o''''' {{selmaho|KOhA}} :-- adnex-bound pro-sumti | ||
;'''''foi'u''''' {{selmaho|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. | ||
* '''Binding of adnex-bound pro-sumti, A, that is not in a prenex:''' | * '''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. | ** 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: | ** 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 in an adnex with scope over A. | ||
*** S is not a quantified da-series KOhA. | *** S is not a quantified da-series KOhA. | ||
*** S does not already contain a ''goi KOhA''. | *** S does not already contain a ''goi KOhA''. | ||
*** S does not already bind an earlier adnex-bound pro-sumti. | *** 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! --{{selmaho|rab.spir}} | |||
* 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! -- | * 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. --{{selmaho|User:And Rosta}} | ||
* 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. -- | |||
==== Anaphor-binding terminators ==== | ==== Anaphor-binding terminators ==== | ||
Line 65: | Line 58: | ||
;''fei'u'' :-- interpreted as if ''ku goi fo'u'' | ;''fei'u'' :-- interpreted as if ''ku goi fo'u'' | ||
;'''''boi'a''''' | ;'''''boi'a''''' {{selmaho|KEI}} :-- interpreted as if ''cei broda'' were assigned to terminated bridi | ||
;'''''boi'e''''' | ;'''''boi'e''''' {{selmaho|KEI}} :-- interpreted as if ''cei brode'' were assigned to terminated bridi | ||
;'''''boi'i''''' | ;'''''boi'i''''' {{selmaho|KEI}} :-- interpreted as if ''cei brodi'' were assigned to terminated bridi | ||
;'''''boi'o''''' | ;'''''boi'o''''' {{selmaho|KEI}} :-- interpreted as if ''cei brodo'' were assigned to terminated bridi | ||
;'''''boi'u''''' | ;'''''boi'u''''' {{selmaho|KEI}} :-- interpreted as if ''cei brodu'' were assigned to terminated bridi | ||
;'''''vau'a''''' | ;'''''vau'a''''' {{selmaho|VAU}} :-- interpreted as if ''cei broda'' were assigned to terminated bridi | ||
;'''''vau'e''''' | ;'''''vau'e''''' {{selmaho|VAU}} :-- interpreted as if ''cei brode'' were assigned to terminated bridi | ||
;'''''vau'i''''' | ;'''''vau'i''''' {{selmaho|VAU}} :-- interpreted as if ''cei brodi'' were assigned to terminated bridi | ||
;'''''vau'o''''' | ;'''''vau'o''''' {{selmaho|VAU}} :-- interpreted as if ''cei brodo'' were assigned to terminated bridi | ||
;'''''vau'u''''' | ;'''''vau'u''''' {{selmaho|VAU}} :-- interpreted as if ''cei brodu'' were assigned to terminated bridi | ||
==== Anaphor-binding ZOhU ==== | ==== Anaphor-binding ZOhU ==== | ||
Line 111: | Line 104: | ||
==== x1-binders ==== | ==== x1-binders ==== | ||
;'''''oi'a''''' | ;'''''oi'a''''' {{selmaho|I}} :-- interpreted as if ''i la'e di'u'' | ||
;'''''kai'a''''' | ;'''''kai'a''''' {{selmaho|NU}} :-- interpreted as if ''ka ce'u'' | ||
;'''''dau'au''''' | ;'''''dau'au''''' {{selmaho|NU}} :-- interpreted as if ''du'au ce'u'' | ||
;'''''poi'ai''''' | ;'''''poi'ai''''' {{selmaho|NU}} :-- interpreted as if ''poi'i ke'a'' | ||
;'''''poi'a''''' | ;'''''poi'a''''' {{selmaho|NOI}} :-- interpreted as if ''poi ke'a'' | ||
;'''''noi'a''''' | ;'''''noi'a''''' {{selmaho|NOI}} :-- interpreted as if ''noi ke'a'' | ||
;'''''voi'a''''' | ;'''''voi'a''''' {{selmaho|NOI}} :-- interpreted as if ''voi ke'a'' |
Revision as of 14:11, 10 June 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. --Rosta User: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