#base.

% Domain: zeno-travel, Problem: ZTRAVEL-5-25
% 
% 
% OBJECTS  >>>>>
typedobject( person( person14 ) ).
typedobject( person( person15 ) ).
typedobject( person( person16 ) ).
typedobject( person( person17 ) ).
typedobject( person( person10 ) ).
typedobject( person( person11 ) ).
typedobject( person( person12 ) ).
typedobject( person( person13 ) ).
typedobject( person( person18 ) ).
typedobject( person( person19 ) ).
typedobject( person( person2 ) ).
typedobject( person( person3 ) ).
typedobject( city( city8 ) ).
typedobject( person( person1 ) ).
typedobject( person( person6 ) ).
typedobject( person( person7 ) ).
typedobject( person( person4 ) ).
typedobject( person( person5 ) ).
typedobject( city( city2 ) ).
typedobject( city( city3 ) ).
typedobject( person( person8 ) ).
typedobject( person( person9 ) ).
typedobject( city( city6 ) ).
typedobject( city( city0 ) ).
typedobject( city( city4 ) ).
typedobject( city( city5 ) ).
typedobject( city( city1 ) ).
typedobject( flevel( fl1 ) ).
typedobject( flevel( fl0 ) ).
typedobject( flevel( fl3 ) ).
typedobject( flevel( fl2 ) ).
typedobject( flevel( fl5 ) ).
typedobject( flevel( fl4 ) ).
typedobject( city( city7 ) ).
typedobject( aircraft( plane4 ) ).
typedobject( aircraft( plane5 ) ).
typedobject( aircraft( plane1 ) ).
typedobject( aircraft( plane2 ) ).
typedobject( aircraft( plane3 ) ).
typedobject( person( person25 ) ).
typedobject( person( person24 ) ).
typedobject( person( person21 ) ).
typedobject( person( person20 ) ).
typedobject( person( person23 ) ).
typedobject( person( person22 ) ).
typedobject( flevel( fl6 ) ).
typedobject( city( city18 ) ).
typedobject( city( city19 ) ).
typedobject( city( city14 ) ).
typedobject( city( city15 ) ).
typedobject( city( city16 ) ).
typedobject( city( city17 ) ).
typedobject( city( city10 ) ).
typedobject( city( city11 ) ).
typedobject( city( city12 ) ).
typedobject( city( city13 ) ).
typedobject( city( city9 ) ).
% <<<<<  OBJECTS
% 

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

% 
% 
% INIT  >>>>>
init( at( plane2,city1 ) ).
init( at( person10,city16 ) ).
init( fuellevel( plane1,fl1 ) ).
init( at( person12,city6 ) ).
init( at( person23,city4 ) ).
init( at( plane1,city0 ) ).
init( fuellevel( plane4,fl2 ) ).
init( at( person16,city19 ) ).
init( at( person6,city6 ) ).
init( at( person2,city3 ) ).
init( at( plane4,city10 ) ).
init( at( person7,city0 ) ).
init( at( person11,city2 ) ).
init( at( person20,city12 ) ).
init( at( person25,city17 ) ).
init( fuellevel( plane5,fl1 ) ).
init( at( person15,city8 ) ).
init( at( person24,city6 ) ).
init( at( person9,city13 ) ).
init( at( person8,city3 ) ).
init( at( person13,city8 ) ).
init( fuellevel( plane3,fl5 ) ).
init( at( person22,city15 ) ).
init( at( person14,city0 ) ).
init( fuellevel( plane2,fl1 ) ).
init( at( person1,city19 ) ).
init( at( person17,city9 ) ).
init( at( plane3,city16 ) ).
init( at( person19,city1 ) ).
init( at( person21,city8 ) ).
init( at( person4,city16 ) ).
init( at( person3,city6 ) ).
init( at( person18,city0 ) ).
init( at( person5,city13 ) ).
init( at( plane5,city1 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( plane1,city11 ),true ).
goal( at( plane2,city8 ),true ).
goal( at( person1,city10 ),true ).
goal( at( person2,city1 ),true ).
goal( at( person3,city13 ),true ).
goal( at( person4,city9 ),true ).
goal( at( person5,city0 ),true ).
goal( at( person6,city16 ),true ).
goal( at( person7,city0 ),true ).
goal( at( person8,city0 ),true ).
goal( at( person9,city17 ),true ).
goal( at( person10,city13 ),true ).
goal( at( person11,city13 ),true ).
goal( at( person12,city17 ),true ).
goal( at( person13,city3 ),true ).
goal( at( person14,city0 ),true ).
goal( at( person15,city13 ),true ).
goal( at( person16,city19 ),true ).
goal( at( person17,city0 ),true ).
goal( at( person18,city4 ),true ).
goal( at( person19,city17 ),true ).
goal( at( person20,city14 ),true ).
goal( at( person21,city17 ),true ).
goal( at( person22,city4 ),true ).
goal( at( person23,city12 ),true ).
goal( at( person24,city13 ),true ).
goal( at( person25,city2 ),true ).
% <<<<<  GOAL
% 

