Consistency Constraint Extractor