Premise: be able to be enforced

Hypothesis: Be able to be implemented.
Relation: entailment