Non-terminal symbol `Var_plus`

Defining rules for nonterminal symbol Var_plus:

`Var_plus`		`Var`
		`Var_plus` `Var`

Occurrences of symbol Var_plus in body of other rules:

`QuantifiedClause`		`IriMeta_opt` `FORALL` `Var_plus` `OPENPAR` `Clause` `CLOSEPAR`
`RawFormula`		`EXISTS` `Var_plus` `OPENPAR` `Formula` `CLOSEPAR`

Non-terminal symbol Var_plus