3. [9 marks] Using the same definitions as in the previous question, translate each of the following predicate logic statements into English. Try to make your English translations as natural sounding as possible. These statements appear long, but try to break them into smaller cohesive pieces. a. [3 marks] VW e K, (T(w) AW(w)) (pe K, P(p) AS(p) ^ I(p) A A(p, w)). b. [3 marks) 3k K, 3r E Kk #TAT(k) A Tr) A F(kr) A F(r, k) A (V2 K, Z() A(2,k)) c. [3 marks] 3 K,T(t) A W(t) A3x K.3y E KI+y^2(x) A W(r) Z(y) A W(y) ^ Aft, x) ^ At, y) ^ (VW E K. (r #way+w A Z(w) A W(w)) +- At, w)) .k: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy: T(): inhabitant x belongs to the Terran race; Z(x): inhabitant x belongs to the Zerg race; P(x): inhabitant x belongs to the Protoss race; W(:): inhabitant is a worker; S(x): inhabitant r is a soldier; 1(): inhabitant is invisible; Asx,y): inhabitant ir attacked inhabitant y; F(x, y): inhabitant x befriended inhabitant y. Dinot