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