all
all
::=
"all"
[rule list]
This rule is called by
->
quantifier