% lab1vars.pl: Record the facts and rules with variables
% Also later in the section on Towards Natural Language