Consistency Projections and Contradiction Kernels in Pair-Valued Semantics | Synapse