Given a pair of two texts as input, typically referred to as text and hypothesis, a textual entailment system automatically finds if the hypothesis is entailed by the text.
the entailment-related works that are most similar to our own are the graph matching techniques proposed by  and Rus et al.