Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Rat.exp" ...
Reading file "GL/Rat.loc" ...
Parsing module "Rat" ...
[] <- Reading file "GL/Rat.exp" ...
Reading file "GL/Rat.loc" ...
Parsing module "Rat" ...
Compiling module "Rat" ...
Module "Rat" compiled.
[] <- Loading module "Rat" ...
[Rat] <- 
z = 1/9 ? Yes
[Rat] <-