Relation APPROVED-BY

Arity: 2

Domain: Entity

Range: *agent

Axioms:

(= (Inverse Approves) Approved-By)

(<=> (Approved-By ?A ?B) (And (Entity ?A) (*Agent ?B)))

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