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