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`