carrierConnectingFlight[// The selected carrier or an associated airline is able to complete the trip, since it flights from the intermidiate destination to another intermidiate destination or to the final one
          spaceConnectingFlight(Z, V) + carrier t.b.d.
         ]