1. Symbolize the following sentences into sentences of FOL+I using the Domain and Symbolization key given. Domain: A group of people. Cx: x is a Canadian Oxy: x is older than y Rxy: x respects y Sx: x is a Socialist Dxy: x is a daughter of y Txy: x is taller than y Lx: x is a Libertarian Lxy: x loves y a: Aya m: Mason n: Nomi 6. There is exactly one Socialist who is taller than every Libertarian. 7. Only those who love exactly two Socialist respects at least one Libertarian. 8. Every Canadian who is taller than Mason loves the oldest Socialist. 9. Everyone who respects at most one person is a Libertarian. 10. Not everyone who loves exactly one Socialist loves at least two Libertarians. 11. The Socialist who loves every Canadian respects no Libertarian. 12. There is exactly one person that loves exactly one person. 1. Symbolize the following sentences into sentences of FOL+I using the Domain and Symbolization key given. Domain: A group of people. Cx: x is a Canadian Oxy: x is older than y Rxy: x respects y Sx: x is a Socialist Dxy: x is a daughter of y Txy: x is taller than y Lx: x is a Libertarian Lxy: x loves y a: Aya m: Mason n: Nomi 6. There is exactly one Socialist who is taller than every Libertarian. 7. Only those who love exactly two Socialist respects at least one Libertarian. 8. Every Canadian who is taller than Mason loves the oldest Socialist. 9. Everyone who respects at most one person is a Libertarian. 10. Not everyone who loves exactly one Socialist loves at least two Libertarians. 11. The Socialist who loves every Canadian respects no Libertarian. 12. There is exactly one person that loves exactly one person