This exercise uses the function MapColor and the predicates In(x, y), Borders(x, y), and Country(x), whose arguments are geographical regions, along with constant symbols for various geographical regions. In the following we give an English sentence and a number of candidate logical expressions. For each of the logical expressions, state whether it [1] correctly expresses the English sentence; or [2] is syntactically invalid (is not a WFF) and therefore meaningless; or [3] is syntactically valid but does not express the meaning of the given English sentence Note: the infix binary predicate-has the fixed semantics that vy(C C)Tif and only if C1 and C2 are assigned to the SAME domain element d, E D in the interpretation / (and the opposite for) a. Paris and Marseilles are both in France (i) In(Paris Marseilles, France) (ii) In(Paris,France) A In(Marseilles,France (iii) In(Paris,France) v In(Marseilles,France)