#base.

% Domain: satellite, Problem: strips-sat-x-1
% 
% 
% OBJECTS  >>>>>
typedobject( direction( planet11 ) ).
typedobject( direction( planet10 ) ).
typedobject( direction( planet13 ) ).
typedobject( direction( planet15 ) ).
typedobject( direction( planet17 ) ).
typedobject( direction( planet16 ) ).
typedobject( direction( planet24 ) ).
typedobject( satellite( satellite3 ) ).
typedobject( satellite( satellite2 ) ).
typedobject( satellite( satellite1 ) ).
typedobject( satellite( satellite0 ) ).
typedobject( satellite( satellite4 ) ).
typedobject( direction( phenomenon18 ) ).
typedobject( direction( star14 ) ).
typedobject( direction( planet25 ) ).
typedobject( mode( thermograph1 ) ).
typedobject( mode( thermograph0 ) ).
typedobject( direction( phenomenon12 ) ).
typedobject( mode( thermograph2 ) ).
typedobject( direction( star19 ) ).
typedobject( direction( planet20 ) ).
typedobject( direction( groundstation3 ) ).
typedobject( direction( groundstation2 ) ).
typedobject( direction( planet28 ) ).
typedobject( direction( planet29 ) ).
typedobject( instrument( instrument8 ) ).
typedobject( direction( planet23 ) ).
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( direction( planet9 ) ).
typedobject( direction( planet8 ) ).
typedobject( mode( image4 ) ).
typedobject( direction( star21 ) ).
typedobject( direction( star22 ) ).
typedobject( direction( phenomenon27 ) ).
typedobject( direction( star26 ) ).
typedobject( direction( star4 ) ).
typedobject( direction( planet6 ) ).
typedobject( direction( star1 ) ).
typedobject( direction( star0 ) ).
% <<<<<  OBJECTS
% 

% 
% 
% DOMAIN PREDICATES  >>>>>
holds( supports( instrument4,image3 ) ).
holds( on_board( instrument5,satellite3 ) ).
holds( supports( instrument7,thermograph2 ) ).
holds( on_board( instrument1,satellite0 ) ).
holds( supports( instrument5,thermograph1 ) ).
holds( supports( instrument5,image4 ) ).
holds( calibration_target( instrument2,groundstation3 ) ).
holds( calibration_target( instrument8,groundstation3 ) ).
holds( on_board( instrument7,satellite4 ) ).
holds( supports( instrument6,thermograph1 ) ).
holds( supports( instrument8,image3 ) ).
holds( on_board( instrument6,satellite4 ) ).
holds( calibration_target( instrument0,groundstation3 ) ).
holds( supports( instrument2,thermograph2 ) ).
holds( on_board( instrument4,satellite2 ) ).
holds( supports( instrument2,thermograph0 ) ).
holds( supports( instrument7,thermograph0 ) ).
holds( calibration_target( instrument6,star4 ) ).
holds( supports( instrument3,image3 ) ).
holds( calibration_target( instrument5,groundstation3 ) ).
holds( supports( instrument2,image4 ) ).
holds( on_board( instrument0,satellite0 ) ).
holds( calibration_target( instrument7,star0 ) ).
holds( calibration_target( instrument1,groundstation3 ) ).
holds( supports( instrument1,image4 ) ).
holds( supports( instrument6,image3 ) ).
holds( on_board( instrument3,satellite2 ) ).
holds( supports( instrument0,image4 ) ).
holds( calibration_target( instrument4,groundstation3 ) ).
holds( supports( instrument3,image4 ) ).
holds( on_board( instrument8,satellite4 ) ).
holds( supports( instrument6,thermograph0 ) ).
holds( supports( instrument1,thermograph1 ) ).
holds( supports( instrument8,thermograph2 ) ).
holds( on_board( instrument2,satellite1 ) ).
holds( calibration_target( instrument3,star1 ) ).
% <<<<<  DOMAIN PREDICATES
% 

% 
% 
% INIT  >>>>>
init( pointing( satellite0,star19 ) ).
init( power_avail( satellite2 ) ).
init( power_avail( satellite3 ) ).
init( power_avail( satellite4 ) ).
init( power_avail( satellite0 ) ).
init( pointing( satellite1,planet17 ) ).
init( pointing( satellite2,planet7 ) ).
init( pointing( satellite3,star4 ) ).
init( pointing( satellite4,phenomenon5 ) ).
init( power_avail( satellite1 ) ).
% <<<<<  INIT
% 

% 
% 
% GOAL  >>>>>
goal( pointing( satellite1,phenomenon5 ),true ).
goal( pointing( satellite2,planet11 ),true ).
goal( pointing( satellite4,planet11 ),true ).
goal( have_image( phenomenon5,thermograph1 ),true ).
goal( have_image( planet6,image4 ),true ).
goal( have_image( planet7,image3 ),true ).
goal( have_image( planet8,image3 ),true ).
goal( have_image( planet9,thermograph0 ),true ).
goal( have_image( planet10,thermograph1 ),true ).
goal( have_image( planet11,thermograph2 ),true ).
goal( have_image( phenomenon12,image3 ),true ).
goal( have_image( planet13,thermograph1 ),true ).
goal( have_image( star14,image3 ),true ).
goal( have_image( planet15,thermograph0 ),true ).
goal( have_image( planet16,image3 ),true ).
goal( have_image( planet17,image4 ),true ).
goal( have_image( phenomenon18,image3 ),true ).
goal( have_image( star19,thermograph0 ),true ).
goal( have_image( star21,thermograph1 ),true ).
goal( have_image( star22,image4 ),true ).
goal( have_image( planet23,thermograph1 ),true ).
goal( have_image( planet24,thermograph2 ),true ).
goal( have_image( planet25,thermograph1 ),true ).
goal( have_image( star26,thermograph0 ),true ).
goal( have_image( phenomenon27,thermograph1 ),true ).
goal( have_image( planet28,thermograph2 ),true ).
goal( have_image( planet29,thermograph0 ),true ).
% <<<<<  GOAL
% 

