ContentsIndex
ACEFHILMOPQRSTV
Index (N)
newMapping
normalizeAtom
normalizeClause
normalizeClause'
normalizeHead
normalizePredicate
normalizeTail
normalizeTerm