| SPC | Domains | Systems |
|---|---|---|
| Some equality Horn | BOO, GRP, RNG, ROB | E, Vampire |
| Some equality non-Horn | CAT, GEO, LDA, NUM, SET | Vampire, Gandalf, E |
| No equality non-Horn | FLD | Vampire, Gandalf |
| Unit equality | BOO, GRP, LAT, RNG, ROB | Waldmeister, E, Vampire |
| First order form | GEO,SET | Vampire |