mnli 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. 