Dependencies for logic-TPTP-0.4.4.0

library