#base.

% Domain: zeno-travel, Problem: ZTRAVEL-2-4
% 
% 
% OBJECTS  >>>>>
typedobject( person( person4 ) ).
typedobject( flevel( fl1 ) ).
typedobject( flevel( fl0 ) ).
typedobject( flevel( fl3 ) ).
typedobject( flevel( fl2 ) ).
typedobject( flevel( fl5 ) ).
typedobject( flevel( fl4 ) ).
typedobject( flevel( fl6 ) ).
typedobject( person( person2 ) ).
typedobject( person( person3 ) ).
typedobject( person( person1 ) ).
typedobject( aircraft( plane1 ) ).
typedobject( aircraft( plane2 ) ).
typedobject( city( city2 ) ).
typedobject( city( city3 ) ).
typedobject( city( city0 ) ).
typedobject( city( city1 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( next( fl3,fl4 ) ).
holds( next( fl5,fl6 ) ).
holds( next( fl0,fl1 ) ).
holds( next( fl2,fl3 ) ).
holds( next( fl4,fl5 ) ).
holds( next( fl1,fl2 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( person4,city1 ) ).
init( fuellevel( plane1,fl6 ) ).
init( at( person3,city0 ) ).
init( fuellevel( plane2,fl0 ) ).
init( at( person1,city3 ) ).
init( at( person2,city0 ) ).
init( at( plane2,city2 ) ).
init( at( plane1,city1 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( person1,city2 ),true ).
goal( at( person2,city3 ),true ).
goal( at( person3,city3 ),true ).
goal( at( person4,city3 ),true ).
% <<<<<  GOAL
% 

