The first of these is the Barron's study guide (BARRON'S), consisting of 1200 sentences.
this work instead opts to perform a bidirectional search: when constructing the knowledge base, we add not only the original sentence but also all entailments with subtrees deleted.