Relation INTERPRETATION-OUTCOME

Arity: 2

Domain: Process

Range: *sign

Axioms:

(= (Inverse Interpretation-Outcome-Of) Interpretation-Outcome)

(<=> (Interpretation-Outcome ?A ?B) (And (Process ?A) (*Sign ?B)))

• Defined in theory: Actors
• Source code: Actors.lisp