what are the airlines whose hub airport is operated by the department of infrastructure ?
SELECT DISTINCT var_uri where brack_open var_x dbo_operator dbr_Department_of_Infrastructure_ attr_open Isle_of_Man attr_close sep_dot var_uri dbo_hubAirport var_x sep_dot var_uri a dbo_Airline brack_close