TPTP Problem Domains

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