- 8 abstract problems, 10 CNF problems
- Second smallest mathematical domain in the TPTP

- Five axiomatizations
- Two axiomatizations extending NBG set theory [BL+86][Qua92]

- Range of problem types
- Problems by McCune & Padmanabhan [MP96]
- Includes "composition of homomorphisms is a homomorphism", e.g.,
`ALG001-2.p`