(define (domain satellite)
(:requirements :strips)
(:types object satellite direction instrument mode)
(:predicates (onboard ?i - instrument ?s - satellite)
	     (supports ?i - instrument ?m - mode)
	     (pointing ?s - satellite ?d - direction)
	     (poweravail ?s - satellite)
	     (poweron ?i - instrument)
	     (calibrated ?i - instrument)
	     (haveimage ?d - direction ?m - mode)
	     (calibrationtarget ?i - instrument ?d - direction))

(:action turnto
 :parameters (?o1 - satellite ?o2 - direction ?o3 - direction)
 :precondition ()
 :effect ())

(:action switchon
 :parameters (?o1 - instrument ?o2 - satellite)
 :precondition ()
 :effect ())

(:action switchoff
 :parameters (?o1 - instrument ?o2 - satellite)
 :precondition ()
 :effect ())

(:action calibrate
 :parameters (?o1 - satellite ?o2 - instrument ?o3 - direction)
 :precondition ()
 :effect ())

(:action takeimage
 :parameters (?o1 - satellite ?o2 - direction ?o3 - instrument ?o4 - mode)
 :precondition ()
 :effect ())

)
