(define (domain hanoi)
(:requirements :strips)
(:predicates (clear ?x)
             (ison ?x ?y)
            (smaller ?x ?y))

(:action move
 :parameters (?o1 ?o2 ?o3)
 :precondition ()
 :effect  ())
)