#base.

% Domain: satellite, Problem: strips-sat-x-1
% 
% 
% OBJECTS  >>>>>
typedobject( direction( planet11 ) ).
typedobject( direction( planet10 ) ).
typedobject( direction( planet19 ) ).
typedobject( satellite( satellite9 ) ).
typedobject( satellite( satellite8 ) ).
typedobject( satellite( satellite3 ) ).
typedobject( satellite( satellite2 ) ).
typedobject( satellite( satellite1 ) ).
typedobject( satellite( satellite0 ) ).
typedobject( satellite( satellite7 ) ).
typedobject( satellite( satellite6 ) ).
typedobject( satellite( satellite5 ) ).
typedobject( satellite( satellite4 ) ).
typedobject( direction( star15 ) ).
typedobject( direction( star14 ) ).
typedobject( direction( star16 ) ).
typedobject( direction( star13 ) ).
typedobject( direction( star12 ) ).
typedobject( mode( thermograph1 ) ).
typedobject( direction( planet21 ) ).
typedobject( direction( phenomenon17 ) ).
typedobject( instrument( instrument21 ) ).
typedobject( instrument( instrument20 ) ).
typedobject( instrument( instrument22 ) ).
typedobject( direction( groundstation4 ) ).
typedobject( direction( planet22 ) ).
typedobject( direction( groundstation1 ) ).
typedobject( direction( groundstation0 ) ).
typedobject( direction( phenomenon18 ) ).
typedobject( instrument( instrument8 ) ).
typedobject( instrument( instrument9 ) ).
typedobject( instrument( instrument2 ) ).
typedobject( instrument( instrument3 ) ).
typedobject( instrument( instrument0 ) ).
typedobject( instrument( instrument1 ) ).
typedobject( instrument( instrument6 ) ).
typedobject( instrument( instrument7 ) ).
typedobject( instrument( instrument4 ) ).
typedobject( instrument( instrument5 ) ).
typedobject( direction( planet7 ) ).
typedobject( direction( phenomenon5 ) ).
typedobject( mode( image2 ) ).
typedobject( mode( image0 ) ).
typedobject( direction( planet8 ) ).
typedobject( direction( phenomenon9 ) ).
typedobject( direction( star20 ) ).
typedobject( direction( phenomenon23 ) ).
typedobject( direction( star24 ) ).
typedobject( mode( infrared4 ) ).
typedobject( mode( spectrograph3 ) ).
typedobject( direction( planet6 ) ).
typedobject( instrument( instrument18 ) ).
typedobject( instrument( instrument19 ) ).
typedobject( direction( star3 ) ).
typedobject( direction( star2 ) ).
typedobject( instrument( instrument14 ) ).
typedobject( instrument( instrument15 ) ).
typedobject( instrument( instrument16 ) ).
typedobject( instrument( instrument17 ) ).
typedobject( instrument( instrument10 ) ).
typedobject( instrument( instrument11 ) ).
typedobject( instrument( instrument12 ) ).
typedobject( instrument( instrument13 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( on_board( instrument5,satellite1 ) ).
holds( calibration_target( instrument4,star3 ) ).
holds( supports( instrument15,image0 ) ).
holds( supports( instrument22,infrared4 ) ).
holds( calibration_target( instrument19,star2 ) ).
holds( calibration_target( instrument18,star3 ) ).
holds( calibration_target( instrument11,star3 ) ).
holds( calibration_target( instrument5,groundstation4 ) ).
holds( on_board( instrument12,satellite5 ) ).
holds( supports( instrument17,thermograph1 ) ).
holds( on_board( instrument19,satellite8 ) ).
holds( supports( instrument10,image0 ) ).
holds( supports( instrument21,thermograph1 ) ).
holds( calibration_target( instrument20,groundstation4 ) ).
holds( supports( instrument2,thermograph1 ) ).
holds( on_board( instrument13,satellite5 ) ).
holds( calibration_target( instrument16,groundstation0 ) ).
holds( supports( instrument14,image0 ) ).
holds( supports( instrument17,image0 ) ).
holds( calibration_target( instrument14,star3 ) ).
holds( calibration_target( instrument8,groundstation0 ) ).
holds( supports( instrument5,image2 ) ).
holds( supports( instrument13,spectrograph3 ) ).
holds( supports( instrument2,image0 ) ).
holds( on_board( instrument22,satellite9 ) ).
holds( supports( instrument16,spectrograph3 ) ).
holds( supports( instrument10,image2 ) ).
holds( supports( instrument6,image0 ) ).
holds( supports( instrument18,thermograph1 ) ).
holds( supports( instrument5,thermograph1 ) ).
holds( calibration_target( instrument17,groundstation4 ) ).
holds( supports( instrument12,infrared4 ) ).
holds( on_board( instrument6,satellite2 ) ).
holds( supports( instrument3,thermograph1 ) ).
holds( supports( instrument1,spectrograph3 ) ).
holds( on_board( instrument10,satellite4 ) ).
holds( supports( instrument9,image0 ) ).
holds( supports( instrument22,thermograph1 ) ).
holds( calibration_target( instrument6,groundstation1 ) ).
holds( supports( instrument0,infrared4 ) ).
holds( on_board( instrument2,satellite0 ) ).
holds( supports( instrument12,image0 ) ).
holds( on_board( instrument21,satellite8 ) ).
holds( supports( instrument11,image0 ) ).
holds( on_board( instrument14,satellite6 ) ).
holds( on_board( instrument16,satellite6 ) ).
holds( supports( instrument14,thermograph1 ) ).
holds( calibration_target( instrument13,star2 ) ).
holds( on_board( instrument20,satellite8 ) ).
holds( supports( instrument15,image2 ) ).
holds( on_board( instrument17,satellite7 ) ).
holds( supports( instrument7,infrared4 ) ).
holds( supports( instrument19,thermograph1 ) ).
holds( supports( instrument8,spectrograph3 ) ).
holds( calibration_target( instrument7,star3 ) ).
holds( calibration_target( instrument1,groundstation0 ) ).
holds( on_board( instrument8,satellite4 ) ).
holds( on_board( instrument18,satellite7 ) ).
holds( calibration_target( instrument0,star3 ) ).
holds( supports( instrument20,thermograph1 ) ).
holds( on_board( instrument0,satellite0 ) ).
holds( calibration_target( instrument2,groundstation1 ) ).
holds( supports( instrument9,image2 ) ).
holds( calibration_target( instrument22,groundstation1 ) ).
holds( supports( instrument3,image0 ) ).
holds( on_board( instrument1,satellite0 ) ).
holds( supports( instrument19,infrared4 ) ).
holds( supports( instrument16,image2 ) ).
holds( supports( instrument2,image2 ) ).
holds( on_board( instrument9,satellite4 ) ).
holds( calibration_target( instrument9,star3 ) ).
holds( supports( instrument15,thermograph1 ) ).
holds( calibration_target( instrument12,groundstation4 ) ).
holds( on_board( instrument4,satellite1 ) ).
holds( supports( instrument9,thermograph1 ) ).
holds( on_board( instrument11,satellite5 ) ).
holds( supports( instrument4,image2 ) ).
holds( calibration_target( instrument3,groundstation4 ) ).
holds( supports( instrument17,image2 ) ).
holds( on_board( instrument3,satellite1 ) ).
holds( supports( instrument5,spectrograph3 ) ).
holds( supports( instrument22,spectrograph3 ) ).
holds( calibration_target( instrument10,star2 ) ).
holds( on_board( instrument15,satellite6 ) ).
holds( calibration_target( instrument21,star2 ) ).
holds( supports( instrument10,spectrograph3 ) ).
holds( supports( instrument4,thermograph1 ) ).
holds( supports( instrument14,spectrograph3 ) ).
holds( calibration_target( instrument15,groundstation4 ) ).
holds( on_board( instrument7,satellite3 ) ).
holds( supports( instrument18,image2 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( pointing( satellite0,star15 ) ).
init( pointing( satellite8,groundstation4 ) ).
init( pointing( satellite6,planet11 ) ).
init( pointing( satellite7,planet11 ) ).
init( pointing( satellite1,planet10 ) ).
init( pointing( satellite4,planet19 ) ).
init( power_avail( satellite1 ) ).
init( power_avail( satellite5 ) ).
init( pointing( satellite2,star24 ) ).
init( power_avail( satellite7 ) ).
init( pointing( satellite9,planet11 ) ).
init( power_avail( satellite0 ) ).
init( power_avail( satellite6 ) ).
init( pointing( satellite3,phenomenon9 ) ).
init( pointing( satellite5,planet10 ) ).
init( power_avail( satellite9 ) ).
init( power_avail( satellite3 ) ).
init( power_avail( satellite8 ) ).
init( power_avail( satellite4 ) ).
init( power_avail( satellite2 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( pointing( satellite5,planet6 ),true ).
goal( pointing( satellite7,star3 ),true ).
goal( pointing( satellite8,star15 ),true ).
goal( pointing( satellite9,star16 ),true ).
goal( have_image( phenomenon5,thermograph1 ),true ).
goal( have_image( planet6,infrared4 ),true ).
goal( have_image( planet7,image0 ),true ).
goal( have_image( planet8,thermograph1 ),true ).
goal( have_image( phenomenon9,image2 ),true ).
goal( have_image( planet10,image0 ),true ).
goal( have_image( planet11,infrared4 ),true ).
goal( have_image( star12,image0 ),true ).
goal( have_image( star13,image0 ),true ).
goal( have_image( star14,thermograph1 ),true ).
goal( have_image( star15,image0 ),true ).
goal( have_image( star16,thermograph1 ),true ).
goal( have_image( phenomenon17,infrared4 ),true ).
goal( have_image( phenomenon18,spectrograph3 ),true ).
goal( have_image( star20,image0 ),true ).
goal( have_image( planet21,thermograph1 ),true ).
goal( have_image( planet22,image2 ),true ).
goal( have_image( phenomenon23,image0 ),true ).
goal( have_image( star24,infrared4 ),true ).
% <<<<<  GOAL
% 

