#base.

% Domain: driverlog, Problem: DLOG-2-3-6
% 
% 
% OBJECTS  >>>>>
typedobject( driver( driver2 ) ).
typedobject( location( p03 ) ).
typedobject( location( p26 ) ).
typedobject( location( p23 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( location( p15 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( location( p10 ) ).
typedobject( obj( package3 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( driver( driver1 ) ).
typedobject( location( s2 ) ).
typedobject( location( s1 ) ).
typedobject( location( s0 ) ).
typedobject( location( s6 ) ).
typedobject( location( s5 ) ).
typedobject( location( s4 ) ).
typedobject( location( s3 ) ).
typedobject( location( p50 ) ).
typedobject( obj( package6 ) ).
typedobject( location( p41 ) ).
typedobject( location( p40 ) ).
typedobject( location( p34 ) ).
typedobject( location( p63 ) ).
typedobject( location( p42 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s6,s1 ) ).
holds( link( s2,s0 ) ).
holds( path( s3,p34 ) ).
holds( path( s5,p15 ) ).
holds( path( s5,p50 ) ).
holds( path( s6,p26 ) ).
holds( path( p41,s4 ) ).
holds( path( p42,s2 ) ).
holds( link( s6,s3 ) ).
holds( path( p34,s3 ) ).
holds( path( p15,s5 ) ).
holds( link( s5,s1 ) ).
holds( link( s3,s6 ) ).
holds( path( s1,p41 ) ).
holds( link( s5,s2 ) ).
holds( path( s2,p26 ) ).
holds( link( s4,s1 ) ).
holds( path( s3,p23 ) ).
holds( path( s0,p10 ) ).
holds( link( s5,s0 ) ).
holds( path( p03,s0 ) ).
holds( link( s5,s6 ) ).
holds( link( s2,s4 ) ).
holds( path( s1,p10 ) ).
holds( path( s0,p03 ) ).
holds( link( s6,s4 ) ).
holds( path( s4,p40 ) ).
holds( path( p26,s2 ) ).
holds( path( p50,s0 ) ).
holds( path( p23,s2 ) ).
holds( path( p40,s0 ) ).
holds( link( s4,s2 ) ).
holds( path( s4,p41 ) ).
holds( path( p50,s5 ) ).
holds( path( p23,s3 ) ).
holds( link( s2,s1 ) ).
holds( link( s0,s5 ) ).
holds( path( s4,p42 ) ).
holds( link( s2,s5 ) ).
holds( path( p42,s4 ) ).
holds( path( s6,p63 ) ).
holds( path( s1,p15 ) ).
holds( path( s0,p50 ) ).
holds( link( s0,s6 ) ).
holds( path( p15,s1 ) ).
holds( link( s1,s3 ) ).
holds( link( s6,s0 ) ).
holds( link( s2,s6 ) ).
holds( path( p63,s3 ) ).
holds( link( s1,s4 ) ).
holds( link( s0,s4 ) ).
holds( link( s1,s6 ) ).
holds( path( p26,s6 ) ).
holds( path( p63,s6 ) ).
holds( link( s0,s1 ) ).
holds( path( s3,p03 ) ).
holds( path( p34,s4 ) ).
holds( link( s6,s2 ) ).
holds( link( s1,s2 ) ).
holds( path( p03,s3 ) ).
holds( link( s0,s2 ) ).
holds( path( p41,s1 ) ).
holds( path( s2,p42 ) ).
holds( link( s4,s0 ) ).
holds( path( s2,p23 ) ).
holds( path( p10,s1 ) ).
holds( link( s6,s5 ) ).
holds( path( p10,s0 ) ).
holds( link( s1,s5 ) ).
holds( link( s3,s1 ) ).
holds( path( p40,s4 ) ).
holds( path( s3,p63 ) ).
holds( link( s4,s6 ) ).
holds( path( s4,p34 ) ).
holds( link( s1,s0 ) ).
holds( path( s0,p40 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( driver2,s0 ) ).
init( at( package3,s3 ) ).
init( empty( truck1 ) ).
init( at( package2,s2 ) ).
init( empty( truck3 ) ).
init( empty( truck2 ) ).
init( at( package6,s5 ) ).
init( at( package1,s6 ) ).
init( at( truck2,s2 ) ).
init( at( truck1,s0 ) ).
init( at( package5,s5 ) ).
init( at( driver1,s6 ) ).
init( at( truck3,s2 ) ).
init( at( package4,s0 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver2,s4 ),true ).
goal( at( truck2,s4 ),true ).
goal( at( package1,s6 ),true ).
goal( at( package2,s3 ),true ).
goal( at( package3,s4 ),true ).
goal( at( package4,s6 ),true ).
goal( at( package5,s1 ),true ).
% <<<<<  GOAL
% 

