Proper.Clause
data
Atom
a
negation
lit
nLit
literal
type
Clause
c
clause
concatClause