Task 1 Define a formal language for the framework of Social Security Numbers, consisting of the format AAA-GG-SSSS, where each AAA is a 3-digit combination of numbers, GG a 2-digit combination of numbers, and SSSS a 4-digit combination of numbers. It yields potential Social Security Numbers (pSSNs). While valid social security numbers have certain restrictions on the combination of numbers, this framework considers only the particular format that valid SSNs need to adhere to.

Task 2 Modify the SSN wff (Task 1) such that only SSNs valid prior to June 25, 2011 are captured. Prior to June 25, 2011, a valid SSN could not have an area number between 734 and 749, or above 772