Relation PRESENT-IN

Arity: 2

Subrelation-Of: Assessment-relation

Axioms:

(=> (Present-In ?A ?B)
    (And (Or (Part-Of ?A ?B)
             (Located ?A ?B)
             (Reference-Location ?A ?B))
         (Exists (?C) (And (Context ?A ?C) (Unexpected ?C ?B)))))

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