Translate into predicate logic.

2. [9 marks] At the time of writing this question, it is not yet known whether or not TY is the champion at IEM Katowice 2021. Nonetheless, consider the following domain and predicates: K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy; T(m): inhabitant x belongs to the Terran race; Z(2): inhabitant x belongs to the Zerg race; P(2): inhabitant x belongs to the Protoss race; W(2): inhabitant r is a worker; S(2): inhabitant r is a soldier; 1(1): inhabitant is invisible; A(z,y): inhabitant x attacked inhabitant y; F(x,y): inhabitant x befriended inhabitant y. Translate each of the following English statements into predicate logic. For instance, Every worker was attacked by some soldier. would be translated as VW EK,W(w) +(Is K, S(s) A A(s, w)) a. [3 marks] Invisible soldiers cannot be attacked by anyone. b. [3 marks] A soldier who is both Terran and Zerg attacked a Terran and a Protoss who are friends with one another. c. [3 marks] Any Zerg who befriended a Protoss gets attacked by all Zerg who be- friended no one