% For testing the Airtravel domain

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

% Initially, laura and airforce1 are in austin
% with george inside airforce1.
% We wish to have laura and airforce1 at 
% lubbock, but want to keep george in austin.
:- query
maxstep :: 1..10;
label :: 0;
0: location(laura)=austin,
   location(airforce1)=austin,
   support(airforce1)=ground,
   holds(airforce1,george),
   -holds(airforce1,laura);
maxstep: 
   location(george)=austin,
   location(laura)=lubbock,
   location(airforce1)=lubbock,
   -holds(airforce1,laura).

% Is it possible for laura in austin to board
% airforce1 in lubbock?  The answer
% should be "no."
:- query
maxstep :: 1;
label :: 1;
0: location(laura)=austin,
   location(airforce1)=lubbock,
   board(laura).
