TPTP Problem Domain: MSC

`MSC001-1.p`	`MSC002-1.p`	`MSC002-2.p`	`MSC003-1.p`	`MSC004-1.p`	`MSC005-1.p`	`MSC006-1.p`
`MSC007^1.003.004.p`	`MSC007-1.005.rm`	`MSC007-1.008.p`	`MSC007-2.002.rm`	`MSC007-2.005.p`	`MSC008-1.002.p`	`MSC008-1.010.p`
`MSC008-2.002.p`	`MSC009+1.p`	`MSC009-1.p`	`MSC010+1.p`	`MSC011+1.p`	`MSC012+1.p`	`MSC013-10.p`
`MSC013+1.p`	`MSC014-10.p`	`MSC014+1.p`	`MSC015-10.027.p`	`MSC015-10.030.p`	`MSC015-1.005.p`	`MSC015-1.010.p`
`MSC015-1.015.p`	`MSC015-1.020.p`	`MSC015-1.022.p`	`MSC015-1.025.p`	`MSC015-1.027.p`	`MSC015-1.030.p`	`MSC016+1.p`
`MSC017+1.p`	`MSC018-10.p`	`MSC018+1.p`	`MSC019+1.p`	`MSC020^5.p`	`MSC021^5.p`	`MSC022=1.rm`
`MSC022_2.p`	`MSC023=1.rm`	`MSC023_2.p`	`MSC024+1.p`	`MSC024-1.p`	`MSC025^1.p`	`MSC025^2.p`
`MSC026-1.p`	`MSC027-1.p`	`MSC028_1.p`	`MSC029^1.p`	`MSC030^1.p`	`MSC031^1.p`	`MSC032^1.p`
`MSC033^1.p`