The logic goes like this. Note the = instead of ::=. This
signals that the statement is not a rule, and is non-lexical -- it's
location in the file does not matter. Since it's not a rule, it does
not take the form LHS ::= RHS2 ...
The initial colon was for pseudo-symbols. Since the lexeme
Thanks for explaining.
The thing was I thought if SLIF DSL could benefit from less diverse/more
strict — (pseudo-)rule/adverbs only — syntax and model, where
lexeme default statement becomes :lexeme default ::= pseudo rule
inaccessible statement becomes an adverb of
:default and/or :lexeme