Relation EXPECTED-FOR

Arity: 2
Axioms:
(= (Inverse The-Expected) Expected-For)