Anchor: General Accounting Office, Federal Information System Controls Audit Manual, GAO/AIMD-12.
Entailed: A manual for system control audits.
Contradiction: The manual does not apply to system controls.
Contradiction: A dog is sleeping on the bed.
Contradiction: Barik eats people.
Contradiction: Segovia has no historical monuments.
Contradiction: worker looking under a train