Extracted Constraint from World