LSX-00257

Error: LSX-00257: atom specification is missing

Causa: A quantifier was found without an atom specification.

Acción: Add an atom specification in front of the quantifier.