Mark Smith wrote:
... lessorequal = LANGLE EQUALS extensible = attr [dnattrs] [matchingrule] COLON EQUALS assertionvalue / [dnattrs] matchingrule COLON EQUALS assertionvalue / COLON EQUALS assertionvalue
The grouping notation should be used here to improve clarity. That is, ( ... ) / ( ... ) / ( ... ). As presented, it appears that ":=value" would be a valid extensible production.
[mcs] Agreed. I will add the ()s.
If the matchingRule field is absent, the type field MUST be present, and an equality match is performed for that type.
As does 2251. Which makes perfect sense.
-Mark