Relation EVIDENTIATED-BY

Arity: 2
Axioms:
(= (Inverse Evidentiates) Evidentiated-By)