2 a Formalise in predicate logic the sentences (i)-(iv). below, that talk about tu (underground train) lines and stations. Use only the predicates listed belo if needed. E nsure that you present your formulas clearly, using brackets to correctly identify the scope of quantifiers and disambiguate where necessary. tubeline(X) onNet(X) servedBy(S, L) posChange(LI, L2, S) to mean it is possible to chauge from tube line LI to tube line to mean X is a tube line. to mean X is a station on the network to mean station S is served by line L L2 at station S to mean P travels on tuhe line L to mean X possessesY travel(P. L) possess(X, Y) validTravelDocV, P) to mean V is a valid travel document for person P. over65(P) freedomPass(V), dayTicket(V), seasonTicketV) to mean P is over 65 years old. to meat V is a freedom pass, a day ticket, and a season ticket. respectively There are two different tube lines (only), and every station on the network is served by at least one of them. Some stations on the network are served by one tube line only. i) ) Each tube line serves a number of stations (more than one station) on the network. It is possible to change from one tube line to a different one at a station if and only if both lines serve that station. One does not travel on the lube unless one has a valid travel document. The valid travel documents are the following: a freedom pass, if the passenger is over 65 years old, a day ticket, and a season ticket. ???) iv) 2 a Formalise in predicate logic the sentences (i)-(iv). below, that talk about tu (underground train) lines and stations. Use only the predicates listed belo if needed. E nsure that you present your formulas clearly, using brackets to correctly identify the scope of quantifiers and disambiguate where necessary. tubeline(X) onNet(X) servedBy(S, L) posChange(LI, L2, S) to mean it is possible to chauge from tube line LI to tube line to mean X is a tube line. to mean X is a station on the network to mean station S is served by line L L2 at station S to mean P travels on tuhe line L to mean X possessesY travel(P. L) possess(X, Y) validTravelDocV, P) to mean V is a valid travel document for person P. over65(P) freedomPass(V), dayTicket(V), seasonTicketV) to mean P is over 65 years old. to meat V is a freedom pass, a day ticket, and a season ticket. respectively There are two different tube lines (only), and every station on the network is served by at least one of them. Some stations on the network are served by one tube line only. i) ) Each tube line serves a number of stations (more than one station) on the network. It is possible to change from one tube line to a different one at a station if and only if both lines serve that station. One does not travel on the lube unless one has a valid travel document. The valid travel documents are the following: a freedom pass, if the passenger is over 65 years old, a day ticket, and a season ticket. ???) iv)