isolated and re-evaluated tests for relational characteristics
tests for existential characteristics
universal quantifier test
tests for equivalence characteristics
tests for implication
tests for disjunction
negation characteristic tests