(Operator
 Load-Rocket
 (params <object> <place>)
 (preconds
  ((<object> CARGO)
   (<place> PLACE))
  (and (at <object> <place>)
       (at rocket <place>)))
 (effects
  ()
  ((del (at <object> <place>))
   (add (in-rocket <object>)))))

(Operator
 Unload-Rocket
 (params <object> <place>)
 (preconds
  ((<object> CARGO)
   (<place>  PLACE))
  (and (at rocket <place>)
       (in-rocket <object>)))
 (effects
  ()
  ((del (in-rocket <object>))
   (add (at <object> <place>)))))

(Operator
 Move-Rocket-Fast
 (params)
 (preconds
  ()
  (at rocket London))
 (effects
  ()
  ((del (at rocket London))
   (add (at rocket Pittsburgh)))))

(Operator
 Move-Rocket-Slow
 (params)
 (preconds () (at rocket John-F-Kennedy))
 (effects
  ()
  ((del (at rocket John-F-Kennedy))
   (add (at rocket Pittsburgh)))))