TPTP Problem Domain: HAL


HAL001+1.p HAL001+2.p HAL002+1.p HAL003+1.p HAL003+2.p HAL003+3.p HAL004+1.p
HAL005+1.p HAL006+1.p HAL007+1.p