a passenger terminal is for purchasing tickets