MyUniversity offers financial aid to students based on the following criteria. To be eligible for financial aid from MyUniversity you must: (a) be enrolled to a bachelor's degree at MyUniversity; (b) earn no more than $2,700/month if you are a citizen, and no more than $1,200 otherwise; (c) be making satisfactory progress in your studies. (d) Students whose GPA is at least 3.0, or who have a reference letter from a professor are considered to be making satisfactory progress. Students who work as part-time programmers make less than $1,200/ month, and less than $2,700/month (e) Alice is currently enrolled to a bachelor's degree; she is not a citizen; she works as a parttime programmer, and has a reference letter from her professor. 1. Represent the above statements (those describing the financial aid eligibility rules, and those describing Alice's properties) as a first-order logic knowledge base. 2. Convert the above knowledge base to a CNF form