Add more on learning and section on entailment