#base.

% Domain: satellite, Problem: strips-sat-x-1
% 
% 
% OBJECTS  >>>>>
typedobject( direction( planet15 ) ).
typedobject( direction( planet17 ) ).
typedobject( direction( star18 ) ).
typedobject( satellite( satellite3 ) ).
typedobject( satellite( satellite2 ) ).
typedobject( satellite( satellite1 ) ).
typedobject( satellite( satellite0 ) ).
typedobject( satellite( satellite4 ) ).
typedobject( direction( star14 ) ).
typedobject( direction( star16 ) ).
typedobject( direction( star10 ) ).
typedobject( direction( star12 ) ).
typedobject( mode( thermograph1 ) ).
typedobject( direction( phenomenon11 ) ).
typedobject( direction( phenomenon13 ) ).
typedobject( direction( star19 ) ).
typedobject( direction( phenomenon8 ) ).
typedobject( direction( planet21 ) ).
typedobject( instrument( instrument24 ) ).
typedobject( direction( star6 ) ).
typedobject( instrument( instrument21 ) ).
typedobject( instrument( instrument20 ) ).
typedobject( instrument( instrument23 ) ).
typedobject( instrument( instrument22 ) ).
typedobject( instrument( instrument18 ) ).
typedobject( direction( groundstation4 ) ).
typedobject( direction( planet22 ) ).
typedobject( instrument( instrument19 ) ).
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( phenomenon7 ) ).
typedobject( direction( phenomenon5 ) ).
typedobject( direction( planet9 ) ).
typedobject( mode( image5 ) ).
typedobject( mode( image4 ) ).
typedobject( direction( phenomenon20 ) ).
typedobject( direction( star23 ) ).
typedobject( direction( phenomenon24 ) ).
typedobject( direction( groundstation0 ) ).
typedobject( mode( infrared7 ) ).
typedobject( mode( infrared2 ) ).
typedobject( mode( infrared3 ) ).
typedobject( mode( spectrograph0 ) ).
typedobject( direction( star1 ) ).
typedobject( mode( spectrograph6 ) ).
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( instrument14,satellite3 ) ).
holds( calibration_target( instrument10,groundstation4 ) ).
holds( supports( instrument7,thermograph1 ) ).
holds( supports( instrument23,thermograph1 ) ).
holds( calibration_target( instrument17,groundstation0 ) ).
holds( calibration_target( instrument4,star3 ) ).
holds( calibration_target( instrument19,star3 ) ).
holds( calibration_target( instrument6,star3 ) ).
holds( on_board( instrument3,satellite1 ) ).
holds( supports( instrument21,thermograph1 ) ).
holds( on_board( instrument19,satellite3 ) ).
holds( supports( instrument24,infrared3 ) ).
holds( supports( instrument14,thermograph1 ) ).
holds( supports( instrument22,thermograph1 ) ).
holds( calibration_target( instrument20,star2 ) ).
holds( supports( instrument10,image4 ) ).
holds( on_board( instrument13,satellite2 ) ).
holds( calibration_target( instrument12,star3 ) ).
holds( supports( instrument2,spectrograph0 ) ).
holds( supports( instrument11,infrared2 ) ).
holds( calibration_target( instrument11,star2 ) ).
holds( calibration_target( instrument8,star1 ) ).
holds( supports( instrument19,spectrograph6 ) ).
holds( supports( instrument13,infrared3 ) ).
holds( supports( instrument19,infrared7 ) ).
holds( on_board( instrument22,satellite4 ) ).
holds( supports( instrument17,image5 ) ).
holds( supports( instrument1,spectrograph0 ) ).
holds( supports( instrument19,infrared3 ) ).
holds( supports( instrument21,infrared2 ) ).
holds( on_board( instrument23,satellite4 ) ).
holds( supports( instrument8,infrared3 ) ).
holds( calibration_target( instrument16,star2 ) ).
holds( supports( instrument0,image4 ) ).
holds( on_board( instrument6,satellite1 ) ).
holds( supports( instrument2,infrared3 ) ).
holds( supports( instrument17,infrared7 ) ).
holds( supports( instrument3,image5 ) ).
holds( on_board( instrument1,satellite0 ) ).
holds( supports( instrument20,infrared3 ) ).
holds( supports( instrument23,infrared7 ) ).
holds( calibration_target( instrument18,star2 ) ).
holds( supports( instrument6,image5 ) ).
holds( on_board( instrument10,satellite2 ) ).
holds( supports( instrument17,image4 ) ).
holds( on_board( instrument21,satellite3 ) ).
holds( supports( instrument12,thermograph1 ) ).
holds( on_board( instrument11,satellite2 ) ).
holds( on_board( instrument12,satellite2 ) ).
holds( supports( instrument2,thermograph1 ) ).
holds( calibration_target( instrument5,groundstation4 ) ).
holds( on_board( instrument20,satellite3 ) ).
holds( calibration_target( instrument24,groundstation0 ) ).
holds( calibration_target( instrument23,star3 ) ).
holds( supports( instrument7,spectrograph0 ) ).
holds( on_board( instrument17,satellite3 ) ).
holds( supports( instrument10,image5 ) ).
holds( supports( instrument5,spectrograph0 ) ).
holds( supports( instrument5,spectrograph6 ) ).
holds( calibration_target( instrument14,groundstation4 ) ).
holds( calibration_target( instrument15,star1 ) ).
holds( on_board( instrument7,satellite1 ) ).
holds( on_board( instrument18,satellite3 ) ).
holds( calibration_target( instrument0,groundstation0 ) ).
holds( supports( instrument3,thermograph1 ) ).
holds( supports( instrument5,thermograph1 ) ).
holds( on_board( instrument0,satellite0 ) ).
holds( calibration_target( instrument2,star1 ) ).
holds( supports( instrument4,spectrograph0 ) ).
holds( calibration_target( instrument22,star2 ) ).
holds( on_board( instrument24,satellite4 ) ).
holds( supports( instrument15,infrared2 ) ).
holds( on_board( instrument8,satellite2 ) ).
holds( supports( instrument9,spectrograph0 ) ).
holds( supports( instrument14,infrared2 ) ).
holds( supports( instrument8,infrared7 ) ).
holds( on_board( instrument9,satellite2 ) ).
holds( calibration_target( instrument21,groundstation4 ) ).
holds( supports( instrument16,spectrograph6 ) ).
holds( calibration_target( instrument7,star2 ) ).
holds( on_board( instrument4,satellite1 ) ).
holds( supports( instrument16,image4 ) ).
holds( on_board( instrument2,satellite0 ) ).
holds( supports( instrument18,spectrograph6 ) ).
holds( calibration_target( instrument1,star3 ) ).
holds( supports( instrument24,spectrograph0 ) ).
holds( supports( instrument18,image4 ) ).
holds( on_board( instrument5,satellite1 ) ).
holds( supports( instrument7,spectrograph6 ) ).
holds( supports( instrument22,image5 ) ).
holds( calibration_target( instrument9,star3 ) ).
holds( on_board( instrument16,satellite3 ) ).
holds( calibration_target( instrument3,star1 ) ).
holds( supports( instrument10,infrared7 ) ).
holds( supports( instrument6,infrared7 ) ).
holds( supports( instrument0,infrared2 ) ).
holds( calibration_target( instrument13,star2 ) ).
holds( on_board( instrument15,satellite3 ) ).
holds( supports( instrument20,infrared2 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( pointing( satellite0,planet21 ) ).
init( pointing( satellite1,planet21 ) ).
init( pointing( satellite2,phenomenon5 ) ).
init( pointing( satellite4,star14 ) ).
init( power_avail( satellite3 ) ).
init( power_avail( satellite4 ) ).
init( pointing( satellite3,phenomenon20 ) ).
init( power_avail( satellite1 ) ).
init( power_avail( satellite0 ) ).
init( power_avail( satellite2 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( pointing( satellite0,planet17 ),true ).
goal( have_image( phenomenon5,infrared7 ),true ).
goal( have_image( phenomenon5,image4 ),true ).
goal( have_image( phenomenon7,thermograph1 ),true ).
goal( have_image( planet9,spectrograph0 ),true ).
goal( have_image( planet9,spectrograph6 ),true ).
goal( have_image( star10,infrared3 ),true ).
goal( have_image( star10,spectrograph6 ),true ).
goal( have_image( phenomenon11,infrared2 ),true ).
goal( have_image( star12,spectrograph6 ),true ).
goal( have_image( star12,thermograph1 ),true ).
goal( have_image( phenomenon13,infrared7 ),true ).
goal( have_image( phenomenon13,infrared2 ),true ).
goal( have_image( star14,infrared2 ),true ).
goal( have_image( planet15,infrared2 ),true ).
goal( have_image( star16,image4 ),true ).
goal( have_image( planet17,image5 ),true ).
goal( have_image( planet17,image4 ),true ).
goal( have_image( star18,infrared2 ),true ).
goal( have_image( star19,infrared3 ),true ).
goal( have_image( star19,thermograph1 ),true ).
goal( have_image( phenomenon20,spectrograph0 ),true ).
goal( have_image( planet21,infrared3 ),true ).
goal( have_image( planet21,image5 ),true ).
goal( have_image( planet22,infrared2 ),true ).
goal( have_image( star23,infrared2 ),true ).
goal( have_image( phenomenon24,spectrograph6 ),true ).
goal( have_image( phenomenon24,image5 ),true ).
% <<<<<  GOAL
% 

