Premise: The restriction on litigation, however, is unique, and it contains a proviso specifying what the restriction does not cover.
Hypothesis: The litigation restriction has a provision stating what is not covered by the restriction. 
Label: entailment