This is Russell's flat tire domain.

(operator
 open
 (params 
  (<x> Container))
 (preconds
  (unlocked <x>) (closed <x>))
 (effects (1.0 
  (del (closed <x>)) (add (open <x>)))))


(operator
 close
 (params 
  (<x> Container))
 (preconds
  (open <x>))
 (effects (1.0 
  (del (open <x>)) (add (closed <x>)))))

(operator
 fetch
 (params (<x> Object)  (<y> Container))
 (preconds
  (in <x> <y>) (open <y>))
 (effects (1.0
  (del (in <x> <y>)) (add (have <x>)))))

(operator
 put-away
 (params  (<x> Object) (<y> Container))
 (preconds
  (have <x>) (open <y>))
 (effects (1.0
  (add (in <x> <y>))  (del (have <x>)))))

(operator
 loosen 
 (params (<x> Nut)  (<y> Hub))
 (preconds
  (have wrench) (tight <x> <y>) (on-ground <y>))
 (effects (1.0
  (add (loose <x> <y>)) (del (tight <x> <y>)))))

(operator
 tighten
 (params (<x> Nut)
   (<y> Hub))
 (preconds
  (have wrench) (loose <x> <y>) (on-ground <y>))
 (effects (1.0
  (add (tight <x> <y>)) (del (loose <x> <y>)))))

(operator
 jack-up
 (params (<y> Hub))
 (preconds  (on-ground <y>) (have jack))
 (effects (1.0 (add (not-on-ground <y>)) 
	(del (on-ground <y>)) (del (have jack)))))

(operator
 jack-down
 (params (<x> Hub))
 (preconds (not-on-ground <x>))
 (effects (1.0 (del (not-on-ground <x>))
	(add (on-ground <x>)) (add (have jack)))))

(operator
 undo
 (params (<x> Nut) (<y> Hub))
 (preconds
  (not-on-ground <y>) (fastened <y>) (have wrench) (loose <x> <y>))
 (effects (1.0 (add (have <x>)) 
	(add (unfastened <y>)) (del (fastened <y>))
  (del (loose <x> <y>)))))

(operator
 do-up
 (params (<x> Nut) (<y> Hub))
 (preconds 
  (have wrench) (unfastened <y>)
       (not-on-ground <y>) (have <x>))
 (effects (1.0 (add (loose <x> <y>)) 
	(add (fastened <y>)) (del (unfastened <y>))
   (del (have <x>)))))

(operator
 remove-wheel
 (params (<x> Wheel) (<y> Hub))
 (preconds 
  (not-on-ground <y>) (on <x> <y>) (unfastened <y>))
 (effects (1.0 (add (have <x>)) (add (free <y>)) 
	(del (on <x> <y>)))))

(operator
 put-on-wheel
 (params (<x> Wheel) (<y> Hub))
 (preconds
  (have <x>) (free <y>) (unfastened <y>) (not-on-ground <y>))
 (effects (1.0 (add (on <x> <y>)) (del (free <y>)) 
	(del (have <x>)))))

(operator
 inflate
 (params (<x> Wheel))
 (preconds
  (have pump) (not-inflated <x>) (intact <x>))
 (effects (1.0 (del (not-inflated <x>)) 
	(add (inflated <x>)))))

(operator
 cuss
 (params)
 (preconds)
 (effects (1.0 (del (annoyed)))))
