Reasoning about SSN data