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)