Relation T-OVERLAPS

Sharing of a temporal part; two alternatives: x t-overlaps & partly precedes y, or x t-overlaps and partly follows y.
Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Subrelation-Of: Temporal-relation
Axioms:
(=> (T-Overlaps ?A ?B)
    (Or (And (Exists (?C ?D)
                     (And (Beginpoint ?B ?D)
                          (Beginpoint ?A ?C)
                          (Precedes ?C ?D)))
             (Exists (?E ?F)
                     (And (Endpoint ?B ?F)
                          (Endpoint ?A ?E)
                          (Precedes ?E ?F))))
        (And (Exists (?G ?H)
                     (And (Beginpoint ?A ?H)
                          (Beginpoint ?B ?G)
                          (Precedes ?G ?H)))
             (Exists (?I ?J)
                     (And (Endpoint ?A ?J)
                          (Endpoint ?B ?I)
                          (Precedes ?I ?J))))))