def _base_fact(atom):
 if isinstance(atom, Not):
  return atom.arg
 else:
  return atom

def _base_fact ( atom ) : if isinstance ( atom , Not ) : return atom . arg else : return atom
return the literal fact of an atom .