Anchor: Units that reduce their emissions below the number of allowances they hold may trade allowances with other units in the system, sell them to other sources or save them for future use.
Entailed: Units that reduce the amount of emissions they hold may trade them for other units in the system.
Contradiction: Units may not sell emissions to other sources. 
Contradiction: The group wishes to find and kill all alcohol dependent kittens.
Contradiction: The men are working on the building.
Contradiction: Despite a critical design review, the F-22 program was found to be perfect and was on schedule to complete far below the estimated costs.
Contradiction: A man and a woman are on stage.