3.2.2 Normalization judgment
Section 3.5.4 "Sequence type matching"
presents some mapping rules which have square
brackets both before the == operator and after the ==.  
(for example, the mapping rule for OccurrenceIndicator and 
for document-node).  This
possibility is not discussed when presenting the notation for
mapping rules in section 3.2.2 "Normalization judgment".  
Specifically, the discussion of mapping rules says that the 
right hand side is a "Mapped Object".  Seemingly, the 
"Mapped Object" is not necessarily an "object" because it
is not completely resolved, and may require further evaluation.