Incorrect SpecialCase field for Pg entries in ObjectReference / MarkedContentReference?

[MaximPlusov]

The SpecialCase field for Pg entries in ObjectReference or MarkedContentReference is defined as fn:IsRequired(fn:Not(fn:IsPresent(parent::Pg))). This condition is intended to enforce the requirement:

it shall be required if the structure element has no such entry.

However, StructElem is not the only possible parent object for ObjectReference/MarkedContentReference. Other possible parents include:

• ArrayOfStructElemKids
• StructTreeRootNameTreeIDTree
• StructTreeRootNumberTreeParentTree

This may possibly lead to unnecessary derivations.