Premise: It holds the various courts of the city, together with a library of law and a basement restaurant.

Hypothesis: Not only is there a library of law, but there is a restaurant in the basement.
Relation: entailment