Premise: contract method, the five phases generally occur in sequence with the A/E

Hypothesis: The five phases typically occur in sequence with the A/E.
Relation: entailment