TPTP Problem Domain: LIN

`LIN001^1.p`	`LIN002^1.p`	`LIN003^1.p`	`LIN004^1.p`	`LIN005^1.p`	`LIN006^1.p`	`LIN007^1.p`
`LIN008^1.p`	`LIN009^1.p`	`LIN010^1.p`	`LIN011^1.p`	`LIN012^1.p`	`LIN013^1.p`	`LIN014^1.p`
`LIN015^1.p`