TPTP Problem Domain: SYP

`SYP000^1.p`	`SYP001^1.p`	`SYP002^1.p`	`SYP003^1.p`	`SYP004^1.p`	`SYP005^1.p`	`SYP006^1.p`
`SYP007^1.p`