Describes the existence of a command argument. i.e., how many times can it appear; is it optional, etc.
Can only appear once, and is mandatory.
Argument can be omitted.
Argument can be redefined.
See Implementation
Describes the existence of a command argument. i.e., how many times can it appear; is it optional, etc.