A process aborts when it does not reach a certain expected result.
(=> (_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)))))))