Constraint Based Reasoning Ability