Here you can browse and download Textual Entailment Corpora annotated with Textual Derivations developed in Institute of Computer Science, Polish Academy of Sciences.