(define (domain domainName) (:requirements :durative-actions :equality :negative-preconditions :numeric-fluents :object-fluents :typing ) (:types ) (:constants ) (:predicates ) (:functions ) (:durative-action actionName :parameters (?x - ) :duration (= ?duration #duration) :condition (at start ) :effect (at end )) ) }