Negative Literal

A Labeled Formula (Atom) where the label is false.