In our formulation of CDP , correctness of an expanded pair is judged according to the pair's SVM score using BASE.
we regard an expanded pair that has an SVM score above some threshold α as a true contradiction.