def prove(self, verbose=False):
        if self._result is None:
            self._result, clauses = self._prover._prove(self.goal(),
                                                        self.assumptions(),
                                                        verbose)
            self._clauses = clauses
            self._proof = ResolutionProverCommand._decorate_clauses(clauses)
        return self._result
This function should return the directivity as function of :math:`\theta` and :math:`\phi`.
dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/ResolutionProverCommand.prove--crossover with--dataset/ETHPy150Open python-acoustics/python-acoustics/acoustics/directivity.py/Directivity._directivity