Relation _RECORDED

Arity: 2

Subrelation-Of: Procedural-property

Axioms:

(=> (_Recorded ?A ?B)
    (Or (_Completed ?A ?B)
        (_Abandoned ?A ?B)
        (_Aborted-Procedure ?A ?B)))

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