Positive Literal

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