Each <enum-choice> element has a display-name attribute that is used by the Agent to present the choice to the user.
One or more <enum-choice> elements must be the children of the <definition> element. The content of an <enum-choice> element must conform to the String ::= Char+ production and must not be empty. It defines one of the allowable strings for the <value> element content.
See definition.