To elaborate the above discussion and to provide more topics to the literature, in this paper we discuss the following four questions: ( §2) How well can tree transformation approximate logical inference? ( §3) With rigorous inference on DCS trees, where does logic contribute in the system of <cite>Tian et al. (2014)</cite> In the tree transformation based approach to RTE, it has been realized that some gaps between T and H cannot be filled even by a large number of tree transformation rules extracted from corpus (BarHaim et al., 2007a) .