"entail"@en-us . .