#base.

% Domain: Depot, Problem: depotprob1818
% 
% 
% OBJECTS  >>>>>
typedobject( distributor( distributor1 ) ).
typedobject( truck( truck0 ) ).
typedobject( hoist( hoist0 ) ).
typedobject( hoist( hoist2 ) ).
typedobject( crate( crate1 ) ).
typedobject( depot( depot0 ) ).
typedobject( crate( crate0 ) ).
typedobject( hoist( hoist1 ) ).
typedobject( pallet( pallet1 ) ).
typedobject( pallet( pallet0 ) ).
typedobject( pallet( pallet2 ) ).
typedobject( truck( truck1 ) ).
typedobject( distributor( distributor0 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% INIT  >>>>>
init( available( hoist0 ) ).
init( at( hoist0,depot0 ) ).
init( available( hoist2 ) ).
init( on( crate1,pallet0 ) ).
init( at( crate1,depot0 ) ).
init( at( crate0,distributor0 ) ).
init( clear( crate0 ) ).
init( available( hoist1 ) ).
init( at( truck1,depot0 ) ).
init( clear( pallet2 ) ).
init( at( pallet2,distributor1 ) ).
init( at( hoist1,distributor0 ) ).
init( at( pallet1,distributor0 ) ).
init( on( crate0,pallet1 ) ).
init( at( truck0,distributor1 ) ).
init( clear( crate1 ) ).
init( at( hoist2,distributor1 ) ).
init( at( pallet0,depot0 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( on( crate0,pallet2 ),true ).
goal( on( crate1,pallet1 ),true ).
% <<<<<  GOAL
% 

