% For testing the Briefcase domain

% Load domain description
:- include 'briefcase.cc'.

% Initially, The dictionary and briefcase are at home
% with the paycheck inside the briefcase.
% We wish to have the dictionary and briefcase at 
% work, but want to keep the paycheck at home.
:- query
maxstep :: 1..10;
label :: 0;
0: location(briefcase)=home,
   location(dictionary)=home,
   location(ed)=home,
   location(car)=home,
   holds(briefcase,paycheck),
   -holds(briefcase,dictionary),
   -holds(ed,dictionary),
   -holds(ed,briefcase),
   -holds(car,dictionary),
   -holds(car,briefcase),
   -holds(car,ed);
maxstep: 
   location(briefcase)=office,
   location(dictionary)=office,
   location(paycheck)=home.


% Is it possible to put the dictionary at home
% into the briefcase at the office?  The answer
% should be "no."
:- query
maxstep :: 1;
label :: 1;
0: location(dictionary)=home,
   location(briefcase)=office,
   putin(dictionary,briefcase).
