#base.

% Domain: driverlog, Problem: DLOG-4-4-8
% 
% 
% OBJECTS  >>>>>
typedobject( location( p101 ) ).
typedobject( location( p100 ) ).
typedobject( location( p911 ) ).
typedobject( obj( package8 ) ).
typedobject( obj( package1 ) ).
typedobject( obj( package2 ) ).
typedobject( obj( package3 ) ).
typedobject( obj( package4 ) ).
typedobject( obj( package5 ) ).
typedobject( obj( package6 ) ).
typedobject( obj( package7 ) ).
typedobject( location( p69 ) ).
typedobject( truck( truck4 ) ).
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( s6 ) ).
typedobject( location( s5 ) ).
typedobject( location( s4 ) ).
typedobject( location( p611 ) ).
typedobject( location( p94 ) ).
typedobject( location( p011 ) ).
typedobject( location( p81 ) ).
typedobject( location( p72 ) ).
typedobject( location( p83 ) ).
typedobject( location( s11 ) ).
typedobject( location( s10 ) ).
typedobject( location( p87 ) ).
typedobject( location( p84 ) ).
typedobject( location( p02 ) ).
typedobject( location( p21 ) ).
typedobject( location( p06 ) ).
typedobject( location( p05 ) ).
typedobject( location( p15 ) ).
typedobject( location( p28 ) ).
typedobject( location( p112 ) ).
typedobject( location( p24 ) ).
typedobject( driver( driver1 ) ).
typedobject( driver( driver3 ) ).
typedobject( driver( driver2 ) ).
typedobject( driver( driver4 ) ).
typedobject( location( p47 ) ).
typedobject( location( p60 ) ).
typedobject( location( p59 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( link( s1,s0 ) ).
holds( link( s8,s3 ) ).
holds( path( s7,p72 ) ).
holds( link( s3,s6 ) ).
holds( path( s8,p28 ) ).
holds( path( p101,s10 ) ).
holds( path( p911,s11 ) ).
holds( path( s0,p06 ) ).
holds( path( s0,p011 ) ).
holds( link( s7,s11 ) ).
holds( path( p611,s11 ) ).
holds( link( s6,s9 ) ).
holds( link( s9,s0 ) ).
holds( link( s10,s6 ) ).
holds( path( s6,p611 ) ).
holds( path( s2,p28 ) ).
holds( link( s1,s2 ) ).
holds( path( p05,s0 ) ).
holds( path( s0,p02 ) ).
holds( link( s9,s8 ) ).
holds( link( s6,s7 ) ).
holds( link( s9,s7 ) ).
holds( link( s5,s9 ) ).
holds( path( s1,p15 ) ).
holds( path( p21,s2 ) ).
holds( link( s3,s8 ) ).
holds( path( s11,p911 ) ).
holds( link( s5,s7 ) ).
holds( link( s6,s8 ) ).
holds( link( s2,s1 ) ).
holds( path( s1,p21 ) ).
holds( link( s4,s6 ) ).
holds( path( s11,p611 ) ).
holds( link( s1,s10 ) ).
holds( link( s6,s4 ) ).
holds( path( p59,s5 ) ).
holds( path( s11,p011 ) ).
holds( path( p87,s7 ) ).
holds( path( s4,p24 ) ).
holds( path( p112,s2 ) ).
holds( path( s4,p84 ) ).
holds( path( s2,p02 ) ).
holds( link( s10,s2 ) ).
holds( link( s9,s4 ) ).
holds( path( s9,p911 ) ).
holds( path( p011,s11 ) ).
holds( path( s11,p112 ) ).
holds( link( s8,s2 ) ).
holds( path( s6,p06 ) ).
holds( path( p47,s4 ) ).
holds( path( s1,p101 ) ).
holds( link( s4,s5 ) ).
holds( link( s3,s2 ) ).
holds( path( p02,s2 ) ).
holds( path( p28,s2 ) ).
holds( link( s5,s3 ) ).
holds( path( s9,p94 ) ).
holds( path( p02,s0 ) ).
holds( path( s9,p69 ) ).
holds( path( p81,s1 ) ).
holds( path( p611,s6 ) ).
holds( path( p69,s6 ) ).
holds( link( s0,s1 ) ).
holds( link( s8,s5 ) ).
holds( path( p05,s5 ) ).
holds( path( p28,s8 ) ).
holds( path( s2,p112 ) ).
holds( path( s5,p59 ) ).
holds( link( s3,s9 ) ).
holds( path( s8,p83 ) ).
holds( link( s10,s3 ) ).
holds( link( s8,s0 ) ).
holds( link( s6,s1 ) ).
holds( path( s2,p21 ) ).
holds( link( s1,s6 ) ).
holds( link( s11,s7 ) ).
holds( link( s5,s2 ) ).
holds( path( p59,s9 ) ).
holds( path( s8,p87 ) ).
holds( path( p81,s8 ) ).
holds( path( p011,s0 ) ).
holds( link( s11,s3 ) ).
holds( link( s9,s1 ) ).
holds( path( p21,s1 ) ).
holds( path( p100,s0 ) ).
holds( link( s9,s6 ) ).
holds( path( p83,s3 ) ).
holds( link( s0,s9 ) ).
holds( link( s10,s1 ) ).
holds( path( p100,s10 ) ).
holds( link( s6,s10 ) ).
holds( path( s3,p83 ) ).
holds( link( s6,s3 ) ).
holds( link( s2,s10 ) ).
holds( path( p47,s7 ) ).
holds( link( s4,s9 ) ).
holds( path( p69,s9 ) ).
holds( link( s0,s3 ) ).
holds( path( p911,s9 ) ).
holds( link( s8,s6 ) ).
holds( path( s5,p15 ) ).
holds( path( p06,s6 ) ).
holds( link( s0,s5 ) ).
holds( link( s2,s8 ) ).
holds( link( s2,s3 ) ).
holds( path( p83,s8 ) ).
holds( path( p84,s8 ) ).
holds( path( p112,s11 ) ).
holds( link( s3,s10 ) ).
holds( path( s2,p24 ) ).
holds( path( p72,s2 ) ).
holds( link( s0,s11 ) ).
holds( link( s2,s9 ) ).
holds( path( p24,s4 ) ).
holds( link( s3,s11 ) ).
holds( link( s1,s9 ) ).
holds( path( s2,p72 ) ).
holds( link( s9,s2 ) ).
holds( path( s8,p81 ) ).
holds( path( p15,s5 ) ).
holds( path( s9,p59 ) ).
holds( link( s0,s8 ) ).
holds( link( s8,s9 ) ).
holds( path( s10,p101 ) ).
holds( path( s1,p81 ) ).
holds( link( s7,s6 ) ).
holds( link( s7,s9 ) ).
holds( path( s7,p47 ) ).
holds( link( s7,s5 ) ).
holds( path( s7,p87 ) ).
holds( path( p24,s2 ) ).
holds( path( p94,s4 ) ).
holds( path( p101,s1 ) ).
holds( link( s5,s4 ) ).
holds( path( s6,p69 ) ).
holds( link( s5,s8 ) ).
holds( path( p06,s0 ) ).
holds( link( s9,s3 ) ).
holds( link( s9,s5 ) ).
holds( link( s2,s5 ) ).
holds( path( s0,p100 ) ).
holds( path( s0,p05 ) ).
holds( path( s10,p100 ) ).
holds( link( s3,s0 ) ).
holds( path( p15,s1 ) ).
holds( link( s11,s0 ) ).
holds( path( p87,s8 ) ).
holds( path( s4,p47 ) ).
holds( path( p72,s7 ) ).
holds( path( s4,p94 ) ).
holds( link( s3,s5 ) ).
holds( path( s8,p84 ) ).
holds( link( s5,s0 ) ).
holds( path( p94,s9 ) ).
holds( path( p84,s4 ) ).
holds( path( s5,p05 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( at( truck2,s9 ) ).
init( at( truck1,s3 ) ).
init( empty( truck3 ) ).
init( empty( truck4 ) ).
init( at( driver2,s5 ) ).
init( empty( truck1 ) ).
init( at( driver4,s10 ) ).
init( at( package8,s10 ) ).
init( empty( truck2 ) ).
init( at( driver1,s8 ) ).
init( at( package7,s9 ) ).
init( at( package1,s3 ) ).
init( at( truck4,s6 ) ).
init( at( truck3,s3 ) ).
init( at( package2,s2 ) ).
init( at( package5,s1 ) ).
init( at( driver3,s5 ) ).
init( at( package4,s11 ) ).
init( at( package6,s8 ) ).
init( at( package3,s8 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( at( driver3,s8 ),true ).
goal( at( truck3,s8 ),true ).
goal( at( package1,s2 ),true ).
goal( at( package2,s5 ),true ).
goal( at( package3,s1 ),true ).
goal( at( package4,s7 ),true ).
goal( at( package5,s0 ),true ).
goal( at( package6,s11 ),true ).
goal( at( package7,s2 ),true ).
goal( at( package8,s0 ),true ).
% <<<<<  GOAL
% 

