Premise: Contracts should specify how problems are to be identified and reported.

Hypothesis: How problems are identified and reported should be specified in the contract.
Relation: entailment