Definition of TO ENTAIL