def conj(self):
        return theano.tensor.basic.conj(self)
Self is a tautology if it contains ground terms P and -P.  The ground
dataset/ETHPy150Open rizar/attention-lvcsr/libs/Theano/theano/tensor/var.py/_tensor_py_operators.conj--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/Clause.is_tautology