ent ent_1 entail entailable entailed entailer entailers entailing