[lojban] any-word-SA-handling clarification

[".alyn.post." <alyn.post@lodockikumazvati.org>]

The Lojban PEG grammar has the following production:

any-word-SA-handling <- BRIVLA-pre
                      / known-cmavo-SA
                      / !known-cmavo-pre
                        CMAVO-pre
                      / CMENE-pre

This is the only production which uses known-cmavo-SA,
known-cmavo-pre, and CMAVO-pre.  I'm trying to determine
how these productions interact, but these rules intersect
the morphology interface in camxes, and I would appreciate
help understanding them.

known-cmavo-SA includes a *-pre rule for every selma'o.
It doesn't include a rule for CMAVO-pre, hich would match any
cmavo not classified into a selma'o by the morphology (like
la'oi).

To follow one path, pretend we're matching "a" when we get to
the any-word-SA-handling production:

known-cmavo-SA -> A-pre -> A -> A-word-pre
known-cmavo-pre -> A-word-pre

known-cmavo-SA matches through a slightly different route, but
the only difference happens in the morphology interface section,
and I'm confused over whether this is a substantive difference
or not.

It *seems* like known-cmavo-SA and known-cmave-pre are matching
the same thing, if not literaly, then conceptually, or perhaps
it is that they *should* be matching the same thing?

If this is true, I understand the any-word-SA-handling to be
slightly redundant:

  * if know-cmavo-SA doesn't match, then by definition the
    !known-cmavo-pre production *will* match (because of the !
    operator), and if we have a cmavo not classified by selma'o
    (i.e., la'oi), it will be matched by the CMAVO-pre rule.

If this is true, can these rules be folded together, say by
deleting known-cmavo-pre and the single reference to it?  I can
think of a couple other ways to order the rules for the same effect,
but the issue is the same: what is known-cmavo-pre doing that is
different from known-cmavo-SA?

-Alan
-- 
.i ko djuno fi le do sevzi

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.