Constraint Satisfaction Problem - Ontify