The first source consists of a simple match among the lemmas in T 1 and T 2: if two lemmas are equal (case insensitive), then we count it as an alignment between T 1 and T 2.
the goal is to predict the behavior of an entailment algorithm given the characteristics of both the resource and the data-set.