[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Subject: 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 kohsuke.kawaguchi@sun.com
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]
Powered by eList eXpress LLC