Sharing of a temporal part; two alternatives: x t-overlaps & partly precedes y, or x t-overlaps and partly follows y.
(=> (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))))))