rename variable iteml => entl (entailment list)