Relation ABSENT-IN

Arity: 2

Subrelation-Of: Assessment-relation

Axioms:

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

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