#base.

% Domain: satellite, Problem: strips-sat-x-1
% 
% 
% OBJECTS  >>>>>
typedobject( direction( planet13 ) ).
typedobject( direction( star6 ) ).
typedobject( direction( planet15 ) ).
typedobject( direction( planet17 ) ).
typedobject( direction( planet18 ) ).
typedobject( satellite( satellite3 ) ).
typedobject( satellite( satellite2 ) ).
typedobject( satellite( satellite1 ) ).
typedobject( satellite( satellite0 ) ).
typedobject( satellite( satellite4 ) ).
typedobject( mode( thermograph8 ) ).
typedobject( direction( star16 ) ).
typedobject( direction( star11 ) ).
typedobject( direction( star10 ) ).
typedobject( direction( phenomenon12 ) ).
typedobject( direction( phenomenon14 ) ).
typedobject( mode( thermograph7 ) ).
typedobject( instrument( instrument25 ) ).
typedobject( instrument( instrument24 ) ).
typedobject( instrument( instrument27 ) ).
typedobject( instrument( instrument26 ) ).
typedobject( instrument( instrument21 ) ).
typedobject( instrument( instrument20 ) ).
typedobject( instrument( instrument23 ) ).
typedobject( instrument( instrument22 ) ).
typedobject( direction( groundstation3 ) ).
typedobject( instrument( instrument28 ) ).
typedobject( direction( groundstation1 ) ).
typedobject( instrument( instrument19 ) ).
typedobject( direction( star0 ) ).
typedobject( direction( phenomenon21 ) ).
typedobject( instrument( instrument8 ) ).
typedobject( instrument( instrument9 ) ).
typedobject( direction( phenomenon19 ) ).
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( image3 ) ).
typedobject( mode( image2 ) ).
typedobject( direction( planet9 ) ).
typedobject( direction( planet22 ) ).
typedobject( direction( phenomenon8 ) ).
typedobject( mode( image4 ) ).
typedobject( direction( star20 ) ).
typedobject( direction( star23 ) ).
typedobject( direction( star24 ) ).
typedobject( mode( infrared9 ) ).
typedobject( mode( infrared5 ) ).
typedobject( mode( infrared1 ) ).
typedobject( direction( star4 ) ).
typedobject( mode( spectrograph0 ) ).
typedobject( instrument( instrument18 ) ).
typedobject( mode( spectrograph6 ) ).
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( instrument9,satellite0 ) ).
holds( calibration_target( instrument7,groundstation1 ) ).
holds( supports( instrument4,image3 ) ).
holds( supports( instrument24,thermograph8 ) ).
holds( calibration_target( instrument18,groundstation1 ) ).
holds( calibration_target( instrument15,star2 ) ).
holds( supports( instrument27,infrared9 ) ).
holds( calibration_target( instrument11,groundstation3 ) ).
holds( calibration_target( instrument14,groundstation3 ) ).
holds( on_board( instrument5,satellite0 ) ).
holds( supports( instrument1,infrared9 ) ).
holds( on_board( instrument7,satellite0 ) ).
holds( supports( instrument28,thermograph7 ) ).
holds( supports( instrument25,infrared5 ) ).
holds( supports( instrument6,infrared1 ) ).
holds( supports( instrument22,infrared5 ) ).
holds( calibration_target( instrument5,groundstation3 ) ).
holds( supports( instrument9,thermograph7 ) ).
holds( on_board( instrument19,satellite2 ) ).
holds( calibration_target( instrument0,star2 ) ).
holds( supports( instrument13,infrared1 ) ).
holds( supports( instrument12,infrared5 ) ).
holds( calibration_target( instrument12,groundstation3 ) ).
holds( supports( instrument27,image2 ) ).
holds( calibration_target( instrument8,star2 ) ).
holds( supports( instrument13,image2 ) ).
holds( supports( instrument16,infrared9 ) ).
holds( supports( instrument11,infrared1 ) ).
holds( on_board( instrument22,satellite4 ) ).
holds( supports( instrument10,infrared1 ) ).
holds( supports( instrument28,spectrograph0 ) ).
holds( supports( instrument8,infrared9 ) ).
holds( supports( instrument0,image3 ) ).
holds( supports( instrument21,image3 ) ).
holds( calibration_target( instrument26,star4 ) ).
holds( on_board( instrument23,satellite4 ) ).
holds( supports( instrument18,infrared9 ) ).
holds( calibration_target( instrument16,star4 ) ).
holds( supports( instrument20,image2 ) ).
holds( on_board( instrument14,satellite1 ) ).
holds( supports( instrument2,thermograph8 ) ).
holds( supports( instrument14,image3 ) ).
holds( supports( instrument15,thermograph7 ) ).
holds( on_board( instrument13,satellite1 ) ).
holds( supports( instrument10,thermograph8 ) ).
holds( supports( instrument23,image3 ) ).
holds( calibration_target( instrument2,star4 ) ).
holds( supports( instrument28,image4 ) ).
holds( supports( instrument19,image2 ) ).
holds( on_board( instrument17,satellite2 ) ).
holds( supports( instrument12,thermograph8 ) ).
holds( on_board( instrument21,satellite3 ) ).
holds( supports( instrument3,infrared9 ) ).
holds( on_board( instrument12,satellite1 ) ).
holds( calibration_target( instrument25,star2 ) ).
holds( on_board( instrument3,satellite0 ) ).
holds( supports( instrument2,image2 ) ).
holds( calibration_target( instrument19,groundstation3 ) ).
holds( on_board( instrument20,satellite3 ) ).
holds( calibration_target( instrument24,star2 ) ).
holds( calibration_target( instrument23,star2 ) ).
holds( supports( instrument8,spectrograph0 ) ).
holds( on_board( instrument25,satellite4 ) ).
holds( on_board( instrument2,satellite0 ) ).
holds( supports( instrument8,thermograph7 ) ).
holds( on_board( instrument26,satellite4 ) ).
holds( supports( instrument21,thermograph8 ) ).
holds( supports( instrument7,spectrograph6 ) ).
holds( calibration_target( instrument1,star4 ) ).
holds( calibration_target( instrument27,groundstation3 ) ).
holds( calibration_target( instrument3,star0 ) ).
holds( on_board( instrument15,satellite1 ) ).
holds( on_board( instrument8,satellite0 ) ).
holds( calibration_target( instrument10,star4 ) ).
holds( supports( instrument22,thermograph8 ) ).
holds( supports( instrument5,infrared9 ) ).
holds( on_board( instrument4,satellite0 ) ).
holds( calibration_target( instrument6,groundstation3 ) ).
holds( on_board( instrument28,satellite4 ) ).
holds( supports( instrument10,spectrograph6 ) ).
holds( calibration_target( instrument22,star4 ) ).
holds( on_board( instrument24,satellite4 ) ).
holds( on_board( instrument27,satellite4 ) ).
holds( supports( instrument4,thermograph8 ) ).
holds( on_board( instrument1,satellite0 ) ).
holds( supports( instrument21,infrared5 ) ).
holds( supports( instrument19,infrared5 ) ).
holds( supports( instrument2,image4 ) ).
holds( on_board( instrument0,satellite0 ) ).
holds( calibration_target( instrument9,star4 ) ).
holds( supports( instrument12,infrared9 ) ).
holds( calibration_target( instrument20,groundstation1 ) ).
holds( on_board( instrument18,satellite2 ) ).
holds( supports( instrument11,image4 ) ).
holds( on_board( instrument11,satellite1 ) ).
holds( supports( instrument11,thermograph7 ) ).
holds( calibration_target( instrument4,groundstation3 ) ).
holds( supports( instrument26,image3 ) ).
holds( supports( instrument17,infrared5 ) ).
holds( on_board( instrument6,satellite0 ) ).
holds( supports( instrument20,image3 ) ).
holds( supports( instrument23,thermograph8 ) ).
holds( calibration_target( instrument13,star4 ) ).
holds( on_board( instrument10,satellite1 ) ).
holds( calibration_target( instrument28,groundstation1 ) ).
holds( calibration_target( instrument21,star2 ) ).
holds( supports( instrument5,image4 ) ).
holds( supports( instrument7,thermograph8 ) ).
holds( supports( instrument20,image4 ) ).
holds( calibration_target( instrument17,star0 ) ).
holds( on_board( instrument16,satellite2 ) ).
holds( supports( instrument16,image2 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( pointing( satellite2,phenomenon14 ) ).
init( pointing( satellite0,groundstation1 ) ).
init( pointing( satellite1,phenomenon19 ) ).
init( pointing( satellite4,star16 ) ).
init( power_avail( satellite3 ) ).
init( power_avail( satellite4 ) ).
init( pointing( satellite3,star10 ) ).
init( power_avail( satellite2 ) ).
init( power_avail( satellite0 ) ).
init( power_avail( satellite1 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( pointing( satellite1,phenomenon19 ),true ).
goal( have_image( phenomenon5,thermograph8 ),true ).
goal( have_image( phenomenon5,spectrograph0 ),true ).
goal( have_image( phenomenon5,image3 ),true ).
goal( have_image( star6,spectrograph0 ),true ).
goal( have_image( star6,spectrograph6 ),true ).
goal( have_image( star6,image3 ),true ).
goal( have_image( planet7,spectrograph6 ),true ).
goal( have_image( planet7,infrared5 ),true ).
goal( have_image( planet7,image2 ),true ).
goal( have_image( phenomenon8,spectrograph6 ),true ).
goal( have_image( phenomenon8,infrared5 ),true ).
goal( have_image( phenomenon8,thermograph7 ),true ).
goal( have_image( planet9,spectrograph6 ),true ).
goal( have_image( star10,spectrograph6 ),true ).
goal( have_image( star11,thermograph7 ),true ).
goal( have_image( star11,image4 ),true ).
goal( have_image( star11,image3 ),true ).
goal( have_image( phenomenon12,image4 ),true ).
goal( have_image( planet13,infrared5 ),true ).
goal( have_image( planet13,spectrograph6 ),true ).
goal( have_image( planet13,image2 ),true ).
goal( have_image( phenomenon14,thermograph7 ),true ).
goal( have_image( planet15,image3 ),true ).
goal( have_image( star16,image3 ),true ).
goal( have_image( star16,image4 ),true ).
goal( have_image( planet18,infrared9 ),true ).
goal( have_image( planet18,infrared5 ),true ).
goal( have_image( planet18,thermograph7 ),true ).
goal( have_image( phenomenon19,image2 ),true ).
goal( have_image( phenomenon19,image4 ),true ).
goal( have_image( star20,spectrograph0 ),true ).
goal( have_image( phenomenon21,image4 ),true ).
goal( have_image( phenomenon21,image2 ),true ).
goal( have_image( phenomenon21,thermograph7 ),true ).
goal( have_image( planet22,image2 ),true ).
goal( have_image( planet22,spectrograph6 ),true ).
goal( have_image( star23,image2 ),true ).
goal( have_image( star23,infrared9 ),true ).
goal( have_image( star24,spectrograph6 ),true ).
goal( have_image( star24,infrared5 ),true ).
% <<<<<  GOAL
% 

