Re: Identification and Metadata at Any Level

>    ('*m' FORMULA)?

Are you confident that doesn't make the grammar (too) ambiguous?  I
haven't looked at it closely, as a general language principle, it seems
better to use a terminated production, like your '<*' ... '*>', or maybe

     'meta(' FORMULA ')'

But, of course, we're not getting into debating the PS.  :-)

> In the XML syntax, IRIMETA can likewise be split into
> an <id>-striped Const and a <meta>-striped FORMULA.
> The stripes/roles <id> and <meta> can be XSD-specified
> as the optional initial children of <Document>, <Group>,
> <Forall>, <Implies>, <Atom>, <Equal>, etc.

FWIW, based on a quick read, I'm fine with this proposal (which probably
isn't surprising.)  I'm a little nervous that it has Group but not Rule,
but since you can put the metadata on whatever would be inside the Rule
element, I'm okay with it.

    - s