- 207 abstract problems, 1 FOF problem, 206 CNF problems
- One of the original TPTP domains
- Second largest mathematical domain in the TPTP

- Various axiom sets
- Five for groups
- Axioms for semigroups, subgroups, monoids, etc.
- Some relational formulation, in terms of
`product`

/3 - One axiomatization with equality as a consequence [Ver92]

- Large proportion of pure equality problems
- Large proportion of UEQ problems

- Good source of range restricted problems
- Includes the previously open quasigroup problems of Bennett,
solved by Fujita, Slaney, etc, e.g.,
`GRP128-2.006.p`

- McCune's problems establishing single axioms, e.g.,
`GRP049-1.p`