(self, idx)
return self._content.args[idx]
Return the given subformula at the given position.
Return the given subformula at the given position.
Return the given subformula at the given position .
def arg(self, idx):
        """Return the given subformula at the given position."""
        return self._content.args[idx]
def arg ( self , idx ) : return self . _content . args [ idx ]