Text: be able to be enforced
Entailment: Be able to be implemented.
Contradiction: Unable to be executed.