A software package aimed at recognizing entailment relations between two portions of text, termed as T and H. The system is based on edit distance algorithms, and computes the T-H distance as the cost of the edit operations (i.e. insertion, deletion and substitution) that are necessary to transform T into H.