Relation _FULFILLED

A process is fulfilled when it has reached an expected result.
Arity: 2
Domain: Process
Subrelation-Of: Typicality-property
Axioms:
(=> (_Fulfilled ?A ?B)
    (Exists (?Y ?Z)
            (And (Entity ?Y)
                 (Situation ?Z)
                 (Outcome-Of ?Y ?A)
                 (Exists (?C)
                         (And (The-Expected ?Y ?C) (Identity ?Z ?C))))))