I a Formalise in predicate logic the sentences i)-(v), below, that talk about the activities of a school. Use only the predicates listed below. Ensure that you present your formulas clearly, using brackets to correctly identify the scope of quantifiers and disambiguate where necessary. day(X) eve(X) teaches(P, c) salary(P, Scode) to mean person P is on salary code Scode. subject(Sub, C) type(Sub, T) to mean X is a day class. to mean X is an evening class. to mean person P teaches class C. to mean subject Sub is taught in class C. to mean subject Sub is of type T (for example subject Latin is of type languages). to mean student S is enrolled on class C tomean student S sits an examination on subject Sub. enrolled(S, O) sitsExam(S, Sub) There are day and evening classes. All who teach a day class are on salary scheme sd, unless they also teach an evening class, in which case they are on salary scheme sde. Those who teach evening classes only are on salary scheme se. i) ii) ii) The subjects taught in the evening classes are (of type) languages and humanities. There are also day classes teaching these types of subjects. But Latin is not a subject taught in any day or evening class. Everyone who is enrolled on a day class will sit an examination on the subject of that class, but no one enrolled on evening classes only will sit any examinations. iv) I a Formalise in predicate logic the sentences i)-(v), below, that talk about the activities of a school. Use only the predicates listed below. Ensure that you present your formulas clearly, using brackets to correctly identify the scope of quantifiers and disambiguate where necessary. day(X) eve(X) teaches(P, c) salary(P, Scode) to mean person P is on salary code Scode. subject(Sub, C) type(Sub, T) to mean X is a day class. to mean X is an evening class. to mean person P teaches class C. to mean subject Sub is taught in class C. to mean subject Sub is of type T (for example subject Latin is of type languages). to mean student S is enrolled on class C tomean student S sits an examination on subject Sub. enrolled(S, O) sitsExam(S, Sub) There are day and evening classes. All who teach a day class are on salary scheme sd, unless they also teach an evening class, in which case they are on salary scheme sde. Those who teach evening classes only are on salary scheme se. i) ii) ii) The subjects taught in the evening classes are (of type) languages and humanities. There are also day classes teaching these types of subjects. But Latin is not a subject taught in any day or evening class. Everyone who is enrolled on a day class will sit an examination on the subject of that class, but no one enrolled on evening classes only will sit any examinations. iv)