Relation INVERSE-OF-PROBABILITY-RELATION

Arity: 2
Axioms:
(= (Inverse Probability-Relation) Inverse-Of-Probability-Relation)