Non-terminal symbol `QuantifiedClause`

Defining rules for nonterminal symbol QuantifiedClause:

QuantifiedClause IriMeta_opt FORALL Var_plus OPENPAR Clause CLOSEPAR

Occurrences of symbol QuantifiedClause in body of other rules:

Rule QuantifiedClause

Non-terminal symbol QuantifiedClause