Domains for Systems II

System Domains
E BOO
GEO (CNF)
GRP (NUE)
LAT
RNG (NUE)
ROB
Gandalf CAT
FLD
GEO (CNF)
SET (CNF)
Vampire BOO
FLD
GEO (CNF)
GEO (FOF)
LDA
NUM
RNG
SET (CNF)
SET (FOF)
Waldmeister GRP (UEQ)
LAT (UEQ)
RNG (UEQ)