A differently motivated but closely related dataset is the one developed by Angeli and Manning (2014) to evaluate natural logic inference for common sense reasoning, as it evaluated sim-ple claims such as "not all birds can fly" against textual sources -including Wikipedia -which were processed with an Open Information Extraction system (Mausam et al., 2012).
the claims were small in number (1,378) and limited in variety as they were derived from eight binary ConceptNet relations (Tandon et al., 2011).