First Order Specification This question discusses a tram network, which consists of a number of segments. Segments consist of a number of routes. Each route is used to service a number of stops. The following predicates are given: . S(x) runs to schedule L(x)-z runs late B(z, y)-x belongs to y T(z)-z is serviced within 2 minutes of the scheduled time The following sentences describe the timeliness of the tram network and its components. Translate each of them into First-Order Logic: a) The tram route r runs to schedule if every stop belonging to the route is serviced within 2 minutes of the scheduled time The tram segment s runs late if some tram route in the segment does not run to schedule. The tram network n runs to schedule unless some segment belonging to the network runs late. b) c)