Relation FINISHES

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