:: = Module separator. Module name is optional. If not specified, a rule belongs to the currently active module

Note: Brackets ([) and (]) define optional elements of the construct. The (|) character defines an or condition. An asterisk (*) defines zero or more of the preceding element (or disjunction of elements). A plus sign (+) defines one or more of the preceding element.

Note: The Allowed-xxxx definition provide enumeration constraints for the specified type ONLY. For example, if the type specified (allowed-integers 0 2 3), only INTEGER values would have to be one of the allowed values.