#base.

% Domain: driverlog, Problem: DLOG-2-3-6
% 
% 
% OBJECTS  >>>>>
typedobject( location( p100 ) ).
typedobject( location( s6 ) ).
typedobject( location( s5 ) ).
typedobject( location( p1110 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( location( p68 ) ).
typedobject( location( s9 ) ).
typedobject( location( s8 ) ).
typedobject( truck( truck1 ) ).
typedobject( truck( truck3 ) ).
typedobject( truck( truck2 ) ).
typedobject( location( s3 ) ).
typedobject( location( s2 ) ).
typedobject( location( s1 ) ).
typedobject( location( s0 ) ).
typedobject( location( s7 ) ).
typedobject( location( p64 ) ).
typedobject( location( p67 ) ).
typedobject( location( s4 ) ).
typedobject( location( p611 ) ).
typedobject( location( p610 ) ).
typedobject( location( p811 ) ).
typedobject( location( p71 ) ).
typedobject( location( s11 ) ).
typedobject( location( s10 ) ).
typedobject( location( p84 ) ).
typedobject( location( p02 ) ).
typedobject( location( p27 ) ).
typedobject( location( p26 ) ).
typedobject( location( p23 ) ).
typedobject( location( p14 ) ).
typedobject( location( p08 ) ).
typedobject( location( p710 ) ).
typedobject( location( p114 ) ).
typedobject( location( p110 ) ).
typedobject( location( p111 ) ).
typedobject( location( p97 ) ).
typedobject( driver( driver1 ) ).
typedobject( driver( driver2 ) ).
typedobject( location( p39 ) ).
typedobject( location( p50 ) ).
typedobject( location( p40 ) ).
typedobject( location( p31 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s0,s7 ) ).
holds( link( s4,s5 ) ).
holds( path( p68,s6 ) ).
holds( link( s2,s8 ) ).
holds( path( s9,p39 ) ).
holds( path( s0,p100 ) ).
holds( path( s9,p97 ) ).
holds( path( p610,s10 ) ).
holds( path( p14,s4 ) ).
holds( link( s10,s0 ) ).
holds( path( s6,p611 ) ).
holds( link( s8,s9 ) ).
holds( link( s10,s6 ) ).
holds( path( s7,p27 ) ).
holds( path( p84,s8 ) ).
holds( link( s3,s2 ) ).
holds( path( p02,s0 ) ).
holds( path( p68,s8 ) ).
holds( link( s11,s3 ) ).
holds( link( s8,s7 ) ).
holds( link( s11,s1 ) ).
holds( path( p111,s1 ) ).
holds( link( s7,s9 ) ).
holds( path( p31,s1 ) ).
holds( path( s1,p71 ) ).
holds( link( s5,s4 ) ).
holds( path( p811,s11 ) ).
holds( link( s11,s9 ) ).
holds( link( s1,s10 ) ).
holds( link( s2,s3 ) ).
holds( path( s10,p710 ) ).
holds( link( s4,s8 ) ).
holds( path( p67,s7 ) ).
holds( link( s1,s9 ) ).
holds( link( s8,s4 ) ).
holds( path( p64,s4 ) ).
holds( path( p114,s11 ) ).
holds( path( s2,p26 ) ).
holds( path( p31,s3 ) ).
holds( path( p64,s6 ) ).
holds( path( s10,p1110 ) ).
holds( path( s11,p111 ) ).
holds( path( s4,p114 ) ).
holds( path( s4,p64 ) ).
holds( path( p26,s6 ) ).
holds( link( s11,s6 ) ).
holds( link( s11,s0 ) ).
holds( path( p811,s8 ) ).
holds( path( p23,s3 ) ).
holds( path( p110,s11 ) ).
holds( link( s8,s3 ) ).
holds( path( s4,p14 ) ).
holds( path( p26,s2 ) ).
holds( path( p100,s0 ) ).
holds( link( s4,s6 ) ).
holds( link( s5,s2 ) ).
holds( path( s8,p08 ) ).
holds( path( p71,s1 ) ).
holds( link( s5,s10 ) ).
holds( path( p02,s2 ) ).
holds( path( p08,s0 ) ).
holds( path( s3,p39 ) ).
holds( path( s1,p14 ) ).
holds( path( s7,p67 ) ).
holds( path( s4,p84 ) ).
holds( link( s7,s0 ) ).
holds( path( s1,p111 ) ).
holds( link( s1,s7 ) ).
holds( path( p710,s7 ) ).
holds( path( p39,s3 ) ).
holds( path( p110,s0 ) ).
holds( path( s1,p31 ) ).
holds( link( s8,s10 ) ).
holds( path( p1110,s10 ) ).
holds( path( p611,s6 ) ).
holds( link( s8,s5 ) ).
holds( path( p111,s11 ) ).
holds( link( s4,s0 ) ).
holds( link( s7,s11 ) ).
holds( path( p114,s4 ) ).
holds( path( p710,s10 ) ).
holds( link( s11,s7 ) ).
holds( link( s0,s10 ) ).
holds( path( s11,p1110 ) ).
holds( link( s0,s3 ) ).
holds( path( s2,p23 ) ).
holds( path( s6,p610 ) ).
holds( path( s2,p27 ) ).
holds( path( p23,s2 ) ).
holds( link( s4,s1 ) ).
holds( path( s6,p68 ) ).
holds( path( s10,p100 ) ).
holds( link( s9,s8 ) ).
holds( path( s3,p23 ) ).
holds( link( s6,s10 ) ).
holds( link( s9,s1 ) ).
holds( path( s7,p97 ) ).
holds( path( s7,p710 ) ).
holds( link( s8,s2 ) ).
holds( link( s6,s11 ) ).
holds( path( p39,s9 ) ).
holds( link( s0,s11 ) ).
holds( path( p08,s8 ) ).
holds( link( s3,s5 ) ).
holds( path( s11,p811 ) ).
holds( link( s10,s1 ) ).
holds( path( s6,p67 ) ).
holds( path( s6,p64 ) ).
holds( path( p1110,s11 ) ).
holds( link( s0,s2 ) ).
holds( link( s3,s8 ) ).
holds( link( s2,s5 ) ).
holds( path( s5,p50 ) ).
holds( path( s8,p84 ) ).
holds( path( s0,p110 ) ).
holds( link( s5,s8 ) ).
holds( path( s3,p31 ) ).
holds( path( s10,p610 ) ).
holds( link( s4,s7 ) ).
holds( path( p14,s1 ) ).
holds( link( s1,s4 ) ).
holds( path( s11,p611 ) ).
holds( link( s7,s4 ) ).
holds( path( p27,s7 ) ).
holds( path( p84,s4 ) ).
holds( path( s0,p50 ) ).
holds( link( s0,s4 ) ).
holds( link( s3,s11 ) ).
holds( path( p100,s10 ) ).
holds( path( s4,p40 ) ).
holds( link( s7,s8 ) ).
holds( link( s1,s11 ) ).
holds( path( s0,p40 ) ).
holds( link( s9,s11 ) ).
holds( path( s11,p114 ) ).
holds( path( s7,p71 ) ).
holds( path( p40,s4 ) ).
holds( path( s8,p811 ) ).
holds( path( s11,p110 ) ).
holds( link( s6,s4 ) ).
holds( path( p71,s7 ) ).
holds( link( s7,s1 ) ).
holds( path( p67,s6 ) ).
holds( link( s10,s8 ) ).
holds( link( s9,s7 ) ).
holds( link( s3,s0 ) ).
holds( path( p97,s7 ) ).
holds( path( p50,s5 ) ).
holds( path( p97,s9 ) ).
holds( link( s5,s3 ) ).
holds( path( p40,s0 ) ).
holds( path( p50,s0 ) ).
holds( path( s2,p02 ) ).
holds( path( s0,p02 ) ).
holds( path( s8,p68 ) ).
holds( link( s10,s5 ) ).
holds( path( p610,s6 ) ).
holds( link( s2,s0 ) ).
holds( path( p27,s2 ) ).
holds( path( p611,s11 ) ).
holds( path( s6,p26 ) ).
holds( path( s0,p08 ) ).
% <<<<<  DOMAIN PREDICATES
% 

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

% 
% 
% GOAL  >>>>>
goal( at( driver1,s11 ),true ).
goal( at( truck2,s8 ),true ).
goal( at( truck3,s4 ),true ).
goal( at( package1,s5 ),true ).
goal( at( package2,s0 ),true ).
goal( at( package3,s4 ),true ).
goal( at( package4,s0 ),true ).
goal( at( package6,s5 ),true ).
% <<<<<  GOAL
% 

