TPTP Problem Domains

`AGT`	`ALG`	`ANA`	`BOO`	`CAT`	`COL`	`COM`
`CSR`	`FLD`	`GEG`	`GEO`	`GRA`	`GRP`	`HAL`
`HEN`	`HWC`	`HWV`	`KLE`	`KRS`	`LAT`	`LCL`
`LDA`	`MED`	`MGT`	`MSC`	`NLP`	`NUM`	`PLA`
`PRO`	`PUZ`	`REL`	`RNG`	`ROB`	`SET`	`SEU`
`SEV`	`SWC`	`SWV`	`SYN`	`SYO`	`TOP`