| ERROR | atom specification is missing |
| CAUSE | A quantifier was found without an atom specification. |
| ACTION | Add an atom specification in front of the quantifier. |
| ERROR | atom specification is missing |
| CAUSE | A quantifier was found without an atom specification. |
| ACTION | Add an atom specification in front of the quantifier. |