Longueau is situated on the Paris–Lille railway.
Boves is a railway station located in France.  The preceding station of Boves is Longueau. The preceding station of Dommartin is Boves. France is a European country. Dommartin is situated on the Paris–Lille railway.  Any two contiguous stations are on the same railway. Boves is served by regional TER Hauts-de-France trains. If A is located in B and B is located in C, then A is located in C. If A precedes B and B preceds C, than A preceds C.
RailwayStation(boves) ∧ Locate(boves, france) Precede(boves, longueau) Precede(dommartin, boves) Locate(france, europe) Situate(dommartin, pairsLille) ∀x ∀y ∀z ((Situate(x, z) ∧ (Precede(x, y) ∨ Precede(y, x))) → Situate(y, z)) Serve(hautsDeFrance, boves) ∀x ∀y ∀z ((Locate(x, y) ∧ Locate(y, z)) → Locate(x, z)) ∀x ∀y ∀z ((Precede(x, y) ∧ Precede(y, z)) → Precede(x, z))