(self)
return self._content.args
Returns the subformulae.
Returns the subformulae.
Returns the subformulae .
def args(self):
        """Returns the subformulae."""
        return self._content.args
def args ( self ) : return self . _content . args