Terminal symbol `AND`

Occurrences of symbol AND in grammar rules:

`Consequent`		`AND` `OPENPAR` `AtomicFormula_star` `CLOSEPAR`
`IriMetaBody`		`AND` `OPENPAR` `Frame_star` `CLOSEPAR`
`RawFormula`		`AND` `OPENPAR` `Formula_star` `CLOSEPAR`

Terminal symbol AND