Skip to content

tag TERM scoping #19

@rTreutlein

Description

@rTreutlein

roman [2:18 PM]
Just want to confirm that the scope of "tag KU" is not global.

gleki [2:49 PM]
it's limited to "sentence"

roman [2:49 PM]
okay but so it can't apply to just part of a tanru?

gleki [2:51 PM]
you mean in linkargs? let's revise all cases where "term" can appear.

[2:52]
in

statement-1
| prenex statement

prenex =
terms ZOhU #

the "terms" contains one or more "term" and they have scope over each other and the scope of the first of them must be limited to "statement"

[2:53]

in

[terms [CU #]] bridi-tail

the scope is in "sentence"

[2:54]

in

bridi-tail-1 [gihek [stag] KE # bridi-tail /KEhE#/ tail-terms]
bridi-tail-1 =
bridi-tail-2 [gihek # bridi-tail-2 tail-terms] ...
bridi-tail-2 =
bridi-tail-3 [gihek [stag] BO # bridi-tail-2 tail-terms]
bridi-tail-3 =
selbri tail-terms
| gek-sentence

tail-terms are limited to these rules in scope.

[2:56]

in

gek subsentence gik subsentence tail-terms
| [tag] KE # gek-sentence /KEhE#/
| NA # gek-sentence

the "tail-terms" must be limited to what is after {gik} til the end of the rule.
NA is probably limited to gek-sentence.

new messages
[2:57]

in

term [CEhE # term] ...

the CEhE breaks left-to-right scope of "term"s. So {bai ce'e mau} = {mau ce'e bai}

[2:59]

in

terms-2 [PEhE # joik-jek terms-2] ...

the same happens: the first "terms-2" don't affect the scope of the second "terms-2

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions