Anchor: A requirement that specifies a function that a system
Entailed: The function of a system is specified for the requirement.
Contradiction: The requirement doesn't specify any functions.
Contradiction: The objectives were based on solely on our opinion.
Contradiction: A dog is in the yard.
Contradiction: Three people are looking through a telescope.
Contradiction: After eating a salad, I really wanted to make dessert.