Terminal symbol `EXTERNAL`

Occurrences of symbol EXTERNAL in grammar rules:

`Formula`		`EXTERNAL` `OPENPAR` `Atom` `CLOSEPAR`
`Term`		`EXTERNAL` `OPENPAR` `Expr` `CLOSEPAR`

Terminal symbol EXTERNAL