Premise: The passenger terminal is a modern building with a restaurant on top.

Hypothesis: The passenger terminal is a one-storey building with no roof space usable.
Relation: contradiction