Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Sports.exp" ...
Reading file "GL/Sports.loc" ...
Parsing module "Sports" ...
Compiling module "Sports" ...
Module "Sports" compiled.
[] <- Loading module "Sports" ...
[Sports] <- 
x = {Bill,Joe,Mary} ? Yes
[Sports] <- 
x = {} ? Yes
[Sports] <- 
s = Cricket,
x = {Bill,Mary} ? Yes
[Sports] <- 
x = {Pair(Fred,{})} ? Yes
[Sports] <-