4. (5 points) Let the domain be the set of all units in the game Starcraft 2. Consider the following predicates: . C(,y) "uit counters/beats unit y" P(r) --"unit x is a protoss" .T(a) "unit z is a terran'" Z(x) = "unit x is a zerg" Express the following English sentences formally as universal or existential sentences using only the given predicates; universal and existential quantifiers; negation, conjunction, dis- junction and implication operations (a.) No unit counters every unit. (b.) There is a unit that is countered by no zerg unit (c.) Some terran units counter no one (d.) Some protoss units counter all zerg units (e.) There is a unit that counters every unit, but is countered by no one