#base.

% Domain: satellite, Problem: strips-sat-x-1
% 
% 
% OBJECTS  >>>>>
typedobject( instrument( instrument8 ) ).
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( phenomenon6 ) ).
typedobject( direction( phenomenon5 ) ).
typedobject( satellite( satellite2 ) ).
typedobject( mode( image2 ) ).
typedobject( satellite( satellite1 ) ).
typedobject( satellite( satellite0 ) ).
typedobject( direction( planet9 ) ).
typedobject( direction( phenomenon8 ) ).
typedobject( mode( thermograph0 ) ).
typedobject( direction( star7 ) ).
typedobject( direction( star4 ) ).
typedobject( mode( spectrograph1 ) ).
typedobject( direction( star3 ) ).
typedobject( direction( groundstation2 ) ).
typedobject( direction( groundstation1 ) ).
typedobject( direction( groundstation0 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( supports( instrument1,image2 ) ).
holds( on_board( instrument4,satellite1 ) ).
holds( supports( instrument4,spectrograph1 ) ).
holds( supports( instrument8,spectrograph1 ) ).
holds( on_board( instrument0,satellite0 ) ).
holds( supports( instrument0,thermograph0 ) ).
holds( supports( instrument5,spectrograph1 ) ).
holds( calibration_target( instrument2,groundstation0 ) ).
holds( calibration_target( instrument8,groundstation0 ) ).
holds( on_board( instrument6,satellite2 ) ).
holds( supports( instrument6,image2 ) ).
holds( supports( instrument8,thermograph0 ) ).
holds( on_board( instrument5,satellite1 ) ).
holds( calibration_target( instrument1,groundstation1 ) ).
holds( supports( instrument4,image2 ) ).
holds( on_board( instrument3,satellite1 ) ).
holds( supports( instrument1,spectrograph1 ) ).
holds( supports( instrument8,image2 ) ).
holds( calibration_target( instrument6,groundstation1 ) ).
holds( supports( instrument5,image2 ) ).
holds( calibration_target( instrument5,groundstation1 ) ).
holds( supports( instrument0,spectrograph1 ) ).
holds( supports( instrument7,thermograph0 ) ).
holds( on_board( instrument2,satellite0 ) ).
holds( calibration_target( instrument7,groundstation1 ) ).
holds( calibration_target( instrument0,groundstation2 ) ).
holds( supports( instrument2,image2 ) ).
holds( supports( instrument5,thermograph0 ) ).
holds( on_board( instrument1,satellite0 ) ).
holds( supports( instrument0,image2 ) ).
holds( calibration_target( instrument4,groundstation2 ) ).
holds( on_board( instrument8,satellite2 ) ).
holds( supports( instrument1,thermograph0 ) ).
holds( on_board( instrument7,satellite2 ) ).
holds( supports( instrument7,image2 ) ).
holds( supports( instrument3,thermograph0 ) ).
holds( supports( instrument3,spectrograph1 ) ).
holds( calibration_target( instrument3,groundstation0 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( power_avail( satellite2 ) ).
init( power_avail( satellite1 ) ).
init( pointing( satellite0,phenomenon8 ) ).
init( pointing( satellite1,groundstation2 ) ).
init( pointing( satellite2,phenomenon5 ) ).
init( power_avail( satellite0 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( pointing( satellite0,phenomenon5 ),true ).
goal( pointing( satellite1,groundstation2 ),true ).
goal( have_image( star3,thermograph0 ),true ).
goal( have_image( phenomenon5,image2 ),true ).
goal( have_image( phenomenon6,image2 ),true ).
goal( have_image( star7,thermograph0 ),true ).
goal( have_image( phenomenon8,image2 ),true ).
goal( have_image( planet9,spectrograph1 ),true ).
% <<<<<  GOAL
% 

