all

all 
      ::= "all" 

[rule list]
This rule is called by

-> quantifier