The TPTP Problem Library and Associated Infrastructure Geoff Sutcliffe OriginalPaper 22 July 2009 Pages: 337 - 362