Relation REPORTED-BY

Arity: 2
Axioms:
(= (Inverse Reports) Reported-By)