ENTAILS

Definition of ENTAILS