Relation STARTS

Same beginning point, different ending point.
Arity: 2
Domain: Temporalized-entity
Range: Temporalized-entity
Subrelation-Of: Temporal-relation
Axioms:
(=> (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))))))