User:Gleki/xorlo as seen by La Gleki: Difference between revisions
(Created page with "zoi by.འཁོར་ལོ།.by.<br/>noi se sance zoi zoi.'''xorlo'''.zoi<br/>valsi lu '''lo xislu''' li'u lo banbu'odu|thumb") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[File:khor-lo.jpg|zoi by.འཁོར་ལོ།.by.<br/>noi se sance zoi zoi.'''xorlo'''.zoi<br/>valsi lu '''lo xislu''' li'u lo banbu'odu|thumb]] | [[File:khor-lo.jpg|zoi by.འཁོར་ལོ།.by.<br/>noi se sance zoi zoi.'''xorlo'''.zoi<br/>valsi lu '''lo xislu''' li'u lo banbu'odu|thumb]] | ||
==Abbrevs== | |||
;UD | |||
:Universe of Discourse | |||
==Scope generators== | |||
'''da''' series, [[preposition]]s create scope. | |||
lo bridi can have a prenex declaring '''da'''. All '''da'' not declared in the prenex are inherited from lo bridi from higher levels. | |||
Prepositions, '''pa da'''-like and '''pa broda'''-like nouns create scope to the right of each of them. | |||
Pure '''da''' with its quantification declared in the prenex doesn't create a scope. | |||
'''lo''' has top priority scope over the whole UD to the left and to the right of them, they don't scope over each other. | |||
=={{vlapoi|lo}}== | |||
{{vlapoi|lo}} is the same {{vlapoi|da|poi}} implicitly declared at UD-wide prenex. | |||
UD-wide prenex is always implicit. This makes '''lo''' unredeclarable with UD. | |||
No matter how much context is given '''lo''' can always be rephrased using '''da poi''' wrapped into new scopes | |||
{{mu|lo plise cu kukte<br/>su'o da poi plise zo'u da kukte|Apples are tasty.}} | |||
The difference is that '''lo''' doesn't require and is not able for any explicit variable declarations. | |||
==pa broda== | |||
This construct doesn't have a prenex thus every usage of it creates a new scope and a new variable. | |||
==Examples of scope boundaries== | |||
Some scopes are shown here with their boundaries marked with '''<nowiki>[ ... ]</nowiki>'''. | |||
*'''nu [mi broda] kei''' | |||
*'''su'o da [broda de]''' | |||
*'''mi na ku [bai ku [klama da]]''' | |||
Revision as of 07:36, 16 December 2015
Abbrevs
- UD
- Universe of Discourse
Scope generators
da series, prepositions create scope.
lo bridi can have a prenex declaring da'. All da not declared in the prenex are inherited from lo bridi from higher levels.
Prepositions, pa da-like and pa broda-like nouns create scope to the right of each of them.
Pure da with its quantification declared in the prenex doesn't create a scope.
lo has top priority scope over the whole UD to the left and to the right of them, they don't scope over each other.
lo
lo is the same da poi implicitly declared at UD-wide prenex.
UD-wide prenex is always implicit. This makes lo unredeclarable with UD.
No matter how much context is given lo can always be rephrased using da poi wrapped into new scopes
| lo plise cu kukte su'o da poi plise zo'u da kukte Apples are tasty. |
The difference is that lo doesn't require and is not able for any explicit variable declarations.
pa broda
This construct doesn't have a prenex thus every usage of it creates a new scope and a new variable.
Examples of scope boundaries
Some scopes are shown here with their boundaries marked with [ ... ].
- nu [mi broda] kei
- su'o da [broda de]
- mi na ku [bai ku [klama da]]