(define (domain daml-time-event)  
   (:extends daml-time-axis)

   (:types Eventuality - Object)

   (:predicates
      (at-time e - Eventuality ti - Instant)  ;; Axiom "2.5-1"
      (during e - Eventuality int - Interval) ;; Axiom "2.5-2"
      (holds e - Eventuality ti - Temporal-entity)

   )
   (:axioms
       ;; Axiom "2.5-3"
       (forall (e - Eventuality int - Interval ti - Instant)
          (if (and (during e int)
                   (inside ti int))
              (at-time e ti)))

       ;; Axiom "2.5-4"
       (forall (e - Eventuality ti - Instant)
          (iff (holds e ti)
               (at-time e ti)))

       ;; Axiom "2.5-5"
       (forall (e - Eventuality tv - Interval)
          (iff (holds e tv)
               (during e tv)))

   ))