Same ending point, different beginning point.
(=> (Finishes ?A ?B) (And (Exists (?C ?D) (And (Endpoint ?B ?D) (Endpoint ?A ?C) (Co-Occur ?C ?D))) (Not (Exists (?E ?F) (And (Beginpoint ?B ?F) (Beginpoint ?A ?E) (Co-Occur ?E ?F))))))