entailment [pl. entailments]