A truck leasing company $($TLC$)$ is organized in truck operating hubs $($TOH$)$ that are located in

different cities in different countries. Each TOH has an address in a country and a unique TOH

number $($TOH$\_$no$).$ The TLC operates different TRUCKS which are identified by a unique

TRUCK$\_$number. There