The generation of textual entailment with NLML in an intelligent dialogue system for language learning CSIEC