[FS/DM] parent value of element?

In 2.2.1 Formal Values an Element value is defined thus:

[16 (Formal)] ElementValue ::= "element" ElementName "nilled"?
    TypeAnnotation "{" Value "}" "{" NamespaceAnnotations "}"

Should the "parent" be a component of the formal value:

[16 (Formal)] ElementValue ::= "element" ElementName "nilled"?
    TypeAnnotation "{" Value "}"
    "{" NamespaceAnnotations "parent" "{" NodeValue? "}" "}"

Then the definition of the axis judgement in 7.2.2.2 could be:
dynEnv |- axis parent ::  of ElementName ( Value } { parent Value1 }
   => Value1
avoiding the need for the dm:parent "function".

Also child "copying" in constructors is clearer:

<E>{<B/>}</E> => value1
where:
value1 = element E { element B { } { parent value1 } }

This doesn't model node identity, but it may be a helpful
formalization of the parent/child relationship.

I don't know of such "recursive" value would be a formal problem.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/