% For testing the old version of the airport description

% Load domain description
:- include 'old-airport.cc'.

% I'm at my desk, the car is at home (but not at my desk).
% Can I get to the airport within 3 steps?
:- query
maxstep :: 0..3;
label :: 0;
0: location(i)=p_1,
   location(car)=p_2;
maxstep: location(i)=p_3.
