(self)
Returns a list of asserted expressions.

        Restrictions: Only after set-logic.
Returns a list of asserted expressions.
Returns a list of asserted expressions .
def get_assertions(self):
        """ Returns a list of asserted expressions.

        Restrictions: Only after set-logic.
        """
        raise NotImplementedError
def get_assertions ( self ) : raise NotImplementedError