Relation DURING

Contained in some temporal entity.
Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Subrelation-Of: Temporal-relation
Axioms:
(=> (During ?A ?B)
    (And (Exists (?C ?D)
                 (And (Beginpoint ?A ?D)
                      (Beginpoint ?B ?C)
                      (Precedes ?C ?D)))
         (Exists (?E ?F)
                 (And (Endpoint ?B ?F)
                      (Endpoint ?A ?E)
                      (Precedes ?E ?F)))))