Non-terminal symbol `Formula_star`

Defining rules for nonterminal symbol Formula_star:

`Formula_star`
		`Formula_star` `Formula`

Occurrences of symbol Formula_star in body of other rules:

`RawFormula`		`AND` `OPENPAR` `Formula_star` `CLOSEPAR`
`RawFormula`		`OR` `OPENPAR` `Formula_star` `CLOSEPAR`

Non-terminal symbol Formula_star