(self)
return not self.quantifier_free
Return whether the logic supports quantifiers.
Return whether the logic supports quantifiers.
Return whether the logic supports quantifiers .
def is_quantified(self):
        """Return whether the logic supports quantifiers."""
        return not self.quantifier_free
def is_quantified ( self ) : return not self . quantifier_free