Non-terminal symbol `RawFormula`

Defining rules for nonterminal symbol RawFormula:

`RawFormula`		`AtomicFormula`
		`AND` `OPENPAR` `Formula_star` `CLOSEPAR`
		`OR` `OPENPAR` `Formula_star` `CLOSEPAR`
		`EXISTS` `Var_plus` `OPENPAR` `Formula` `CLOSEPAR`
		`EXTERNAL` `OPENPAR` `AtomOrFrame` `CLOSEPAR`

Occurrences of symbol RawFormula in body of other rules:

Formula IriMeta_opt RawFormula

Non-terminal symbol RawFormula