def _base_fact(atom):
    if isinstance(atom, Not):
        return atom.arg
    else:
        return atom
Return the literal fact of an atom.
dataset/ETHPy150Open sympy/sympy/sympy/core/facts.py/_base_fact