Anchor: operate with similar functional capability in a different environment; for example, converting a program from FORTRAN to Ada or converting a program that runs on one computer to run on another.
Entailed: Converting a program from FORTRAN to Ada is allowed.
Contradiction: Programs can be converted no matter what.
Contradiction: Looking at attractive women always puts me in a sour mood.
Contradiction: The techniques have been made for computers and for wall-space.
Contradiction: The man is slitting someones throat.
Contradiction: a boy is playing