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. |