Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Intensional.exp" ...
Reading file "GL/Intensional.loc" ...
Parsing module "Intensional" ...
[] <- Reading file "GL/Intensional.exp" ...
Reading file "GL/Intensional.loc" ...
Parsing module "Intensional" ...
Compiling module "Intensional" ...
Module "Intensional" compiled.
[] <- Loading module "Intensional" ...
[Intensional] <- [Intensional] <- 
k = {{},{1},{1,2},{1,2,5},{1,5},{2},{2,5},{5}},
n = 10 ? Yes
[Intensional] <- 
djd1 = 14 ? Yes
[Intensional] <- 
x = 6 ? Yes
[Intensional] <- 
x = 15 ? Yes
[Intensional] <- 
s = 116 ? Yes
[Intensional] <-