TPTP Problem Domain: RAL

`RAL001^1.p`	`RAL002^1.p`	`RAL003^1.p`	`RAL004^1.p`	`RAL005^1.p`	`RAL006^1.p`	`RAL007^1.p`
`RAL008^1.p`	`RAL009^1.p`	`RAL010^1.p`	`RAL011^1.p`	`RAL012^1.p`	`RAL013^1.p`	`RAL014^1.p`
`RAL015^1.p`	`RAL016^1.p`	`RAL017^1.p`	`RAL018^1.p`	`RAL019^1.p`	`RAL020^1.p`	`RAL021^1.p`
`RAL022^1.p`	`RAL023^1.p`	`RAL024^1.p`	`RAL025^1.p`	`RAL026^1.p`	`RAL027^1.p`	`RAL028^1.p`
`RAL029^1.p`	`RAL030^1.p`	`RAL031^1.p`	`RAL032^1.p`	`RAL033^1.p`	`RAL034^1.p`	`RAL035^1.p`
`RAL036^1.p`	`RAL037^1.p`	`RAL038^1.p`	`RAL039^1.p`	`RAL040^1.p`	`RAL041^1.p`	`RAL042^1.p`
`RAL043^1.p`	`RAL044^1.p`	`RAL045^1.p`	`RAL046^1.p`	`RAL047^1.p`	`RAL048^1.p`	`RAL049^1.p`
`RAL050^1.p`	`RAL051^1.p`	`RAL052^1.p`	`RAL053^1.p`	`RAL054^1.p`	`RAL055^1.p`	`RAL056^1.p`
`RAL057^1.p`	`RAL058^1.p`	`RAL059^1.p`	`RAL060^1.p`	`RAL061^1.p`	`RAL062^1.p`	`RAL063^1.p`
`RAL064^1.p`	`RAL065^1.p`	`RAL066^1.p`	`RAL067^1.p`	`RAL068^1.p`	`RAL069^1.p`	`RAL070^1.p`