And
Formula
Atom
logic
Atoms
Logic
add
Matched
applyAll
Logic
atom
Atom
Literal
Negated
atoms
Logic