Assigning values to options

On Section 5.7.1.3, what is the purpose of @required? I believe that 
this attribute can be used only while declaring options, not on value 
assignments. It occurs in both abstract declarations (name/select and 
name/value).

Cheers,

Rui