TPTP Problem Domain: MVA

`MVA001-1.p`	`MVA002-1.p`	`MVA003-1.p`	`MVA004-1.p`	`MVA005-1.p`	`MVA006-1.p`	`MVA007-1.p`
`MVA008-1.p`	`MVA009-1.p`	`MVA010-1.p`	`MVA011-1.p`	`MVA012-1.p`	`MVA013-1.p`	`MVA014-1.p`
`MVA015-1.p`