for g being ConwayGame holds
( g is zero or g is positive or g is negative or g is fuzzy ) ;