3. (18 marks) BlueHound Bus Lines provides bus service between the following loca tions: Armstrong, Barrire, Chase, Douglas Lake, Ewing, Fauquier, Greata, Hullcar Isle Pierre and Jellicoe1, as indicated in the table below each location is abbrevi ated by its first letter, and the presence of a bullet indicates there is a direct bus from the FROM location to the TO location. Let L denote the set containing these locations Let connects(y, z) be the predicate that is true if and only if BlueHound Bus Lines offers a direct connection from location y to location z. For example, Connects(Douglas Lake, Fauquier) is true, while Connects(Fauquier, Douglas Lake) is false (observe that simply because there is a bus from r to y does not mean that there is also a bus from y to Note: for parts (a), (b) and (c), your answer should remain valid even if BlueHounds Bus Lines decided to add, change or remove bus routes. (a) Write a predicate AtMostTwoBuses(y, z) that is true if and only if it is possible to travel from location y to location z taking at most two buses. Use quantifiers and the predicate Connects(...)