Relation _ABORTED

A process aborts when it does not reach a certain expected result.
Arity: 2
Domain: Process
Subrelation-Of: Typicality-property
Axioms:
(=> (_Aborted ?A ?B)
    (Not (Exists (?Y ?Z)
                 (And (Entity ?Y)
                      (Situation ?Z)
                      (Outcome-Of ?Y ?A)
                      (Exists (?C)
                              (And (The-Expected ?Y ?C)
                                   (Identity ?Z ?C)))))))