Contained in some temporal entity.
(=> (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)))))