Negation
clone()
substitute(Term<?> v, Term<?> t)
toFOL(StrictNegation source)
StrictNegation
toASP(Negation source)