Section 7.4

I don't think the distinction between ~e and ~  is necessary.

For the (element compete 2) rule, if p_1 \sim p_2 and there exists p_3
such that p_1 [n]_e p_3, then apparently p_1 is an element (because
attributes cannot contain an element pattern p_3). Thus p_1 \sim p_2.

The similar inference holds for the (attribute) rule.



... maybe I'm just showing my ignorance here ...


regards,
--
Kohsuke KAWAGUCHI                          +1 650 786 0721
Sun Microsystems