#base.

% Domain: satellite, Problem: strips-sat-x-1
% 
% 
% OBJECTS  >>>>>
typedobject( direction( planet11 ) ).
typedobject( direction( planet10 ) ).
typedobject( mode( thermograph2 ) ).
typedobject( direction( planet16 ) ).
typedobject( satellite( satellite3 ) ).
typedobject( satellite( satellite2 ) ).
typedobject( satellite( satellite1 ) ).
typedobject( satellite( satellite0 ) ).
typedobject( satellite( satellite4 ) ).
typedobject( direction( star15 ) ).
typedobject( direction( star14 ) ).
typedobject( direction( star12 ) ).
typedobject( direction( phenomenon13 ) ).
typedobject( direction( star19 ) ).
typedobject( direction( star18 ) ).
typedobject( direction( phenomenon17 ) ).
typedobject( direction( planet20 ) ).
typedobject( direction( groundstation1 ) ).
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( planet5 ) ).
typedobject( direction( planet8 ) ).
typedobject( direction( phenomenon21 ) ).
typedobject( direction( phenomenon6 ) ).
typedobject( direction( star22 ) ).
typedobject( direction( star23 ) ).
typedobject( direction( phenomenon24 ) ).
typedobject( mode( infrared0 ) ).
typedobject( mode( infrared1 ) ).
typedobject( mode( infrared3 ) ).
typedobject( direction( star4 ) ).
typedobject( direction( star7 ) ).
typedobject( direction( star0 ) ).
typedobject( direction( star3 ) ).
typedobject( direction( star2 ) ).
typedobject( direction( star9 ) ).
typedobject( mode( spectrograph4 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( supports( instrument1,infrared0 ) ).
holds( on_board( instrument5,satellite2 ) ).
holds( supports( instrument9,spectrograph4 ) ).
holds( supports( instrument7,infrared3 ) ).
holds( on_board( instrument0,satellite0 ) ).
holds( supports( instrument3,spectrograph4 ) ).
holds( supports( instrument0,spectrograph4 ) ).
holds( calibration_target( instrument2,star3 ) ).
holds( calibration_target( instrument8,star2 ) ).
holds( calibration_target( instrument9,star4 ) ).
holds( on_board( instrument7,satellite4 ) ).
holds( supports( instrument9,infrared1 ) ).
holds( supports( instrument6,infrared1 ) ).
holds( supports( instrument8,infrared3 ) ).
holds( on_board( instrument6,satellite3 ) ).
holds( calibration_target( instrument0,star0 ) ).
holds( supports( instrument4,thermograph2 ) ).
holds( on_board( instrument4,satellite1 ) ).
holds( supports( instrument2,infrared1 ) ).
holds( supports( instrument8,infrared0 ) ).
holds( calibration_target( instrument6,star4 ) ).
holds( supports( instrument4,infrared0 ) ).
holds( calibration_target( instrument5,groundstation1 ) ).
holds( supports( instrument2,infrared0 ) ).
holds( on_board( instrument3,satellite1 ) ).
holds( calibration_target( instrument7,star2 ) ).
holds( calibration_target( instrument1,star2 ) ).
holds( supports( instrument1,infrared1 ) ).
holds( supports( instrument5,infrared1 ) ).
holds( on_board( instrument2,satellite0 ) ).
holds( supports( instrument9,infrared3 ) ).
holds( supports( instrument0,infrared1 ) ).
holds( calibration_target( instrument4,star4 ) ).
holds( on_board( instrument9,satellite4 ) ).
holds( supports( instrument4,infrared3 ) ).
holds( on_board( instrument8,satellite4 ) ).
holds( supports( instrument7,infrared1 ) ).
holds( supports( instrument3,infrared0 ) ).
holds( supports( instrument8,spectrograph4 ) ).
holds( on_board( instrument1,satellite0 ) ).
holds( calibration_target( instrument3,star4 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( pointing( satellite0,planet16 ) ).
init( power_avail( satellite2 ) ).
init( power_avail( satellite3 ) ).
init( power_avail( satellite4 ) ).
init( power_avail( satellite1 ) ).
init( pointing( satellite1,star4 ) ).
init( pointing( satellite2,star15 ) ).
init( pointing( satellite3,phenomenon6 ) ).
init( pointing( satellite4,star14 ) ).
init( power_avail( satellite0 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( have_image( planet5,infrared0 ),true ).
goal( have_image( phenomenon6,spectrograph4 ),true ).
goal( have_image( star7,infrared0 ),true ).
goal( have_image( planet8,infrared1 ),true ).
goal( have_image( star9,spectrograph4 ),true ).
goal( have_image( planet10,thermograph2 ),true ).
goal( have_image( planet11,infrared3 ),true ).
goal( have_image( phenomenon13,spectrograph4 ),true ).
goal( have_image( star14,thermograph2 ),true ).
goal( have_image( star15,infrared3 ),true ).
goal( have_image( planet16,infrared1 ),true ).
goal( have_image( phenomenon17,spectrograph4 ),true ).
goal( have_image( star18,spectrograph4 ),true ).
goal( have_image( star19,thermograph2 ),true ).
goal( have_image( planet20,thermograph2 ),true ).
goal( have_image( phenomenon21,thermograph2 ),true ).
goal( have_image( star22,infrared1 ),true ).
goal( have_image( star23,spectrograph4 ),true ).
goal( have_image( phenomenon24,infrared0 ),true ).
% <<<<<  GOAL
% 

