def _build_model(self, goal=None, assumptions=None, verbose=False):
        if not assumptions:
            assumptions = []

        stdout, returncode = self._call_mace4(self.prover9_input(goal, assumptions),
                                              verbose=verbose)
        return (returncode == 0, stdout)
Delete a feed by id or url.
dataset/ETHPy150Open nltk/nltk/nltk/inference/mace.py/Mace._build_model--crossover with--dataset/ETHPy150Open xively/xively-python/xively/managers.py/FeedsManager.delete