Question 1: First-Order Logic 1. Translate the sentences below from English into first-order logic. Use the signature S consisting of the unary predicate symbol Region and the binary predicate symbols Disjoint, Included and Overlap and the constant symbols dorset, fife, scotland, england. (a) Any two regions are either disjoint, overlapping, or one of them is included in another. [2 marks] (b) Every region is included in itself. [1 mark] (C) two regions are disjoint, they are not overlapping. [1 mark] (d) If two regions are overlapping, none of them is included in another. [2 marks] (e) If one region is included in another, then they are not disjoint. [1 mark] (f) If two regions are disjoint, then any region included in the first one is disjoint from the second one. [2 marks] (g) Dorset and England are regions, Dorset is included in England. [1 mark] (h) Fife and Scotland are regions, Fife is included in Scotland. [1 mark] (i) Scotland and England are disjoint. [1 mark]