Text: AMIGA was then modified to approximate the assumptions behind each of the four scenarios.
Entailment: AMIGA was changed to approximate assumptions of each scenario.
Contradiction: Amiga was changed so it could make better coffee.