see http://www.cs.miami.edu/~tptp/MPTPChallenge/
