User:Gleki/xorlo as seen by La Gleki

zoi by.འཁོར་ལོ།.by.
noi se sance zoi zoi.xorlo.zoi
valsi lu lo xislu li'u lo banbu'odu

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.

More examples:

lo pa valsi cu se vamji ko'a rau da poi valsi zo'u da se vamji ko'a One word (any word) is worth ko'a.

lo pa bangu noroi jai banzu no nu pa da bangu cu banzu One language (any language) is never enough.

lo, da poi, pa broda similarity and differences

The basic and most important similarity is that nothing within UD is able to penetrate the scope of lo.

Nothing including declared da from upper scopes is able to penetrate the scope of other da declared at levels inner to the first (upper) da. When needed goi-type assignments to intermediate pointers can be used.

Examples:

1. su'o da zo'u da gasnu lo nu su'o da zo'u da brode
   1. da is not able to redeclare the da in da brode because the latter da is explicitly declared in the inner lo bridi.
   2. da brode is not under the scope of the first da
2. su'o da zo'u da gasnu lo brode
   1. da is not able to redeclare lo brode because there are not explicit variables
   2. lo brode is not under the scope of da
3. su'o da zo'u da gasnu pa brode
   1. da is not able to redeclare pa brode because there are not explicit variables
   2. pa brode is within the scope of da

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]]