TPTP Problem Domains

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