TB

@trillionbear

(∀x∀y(A(x,y) ∧ x ≠ y → Based_On(A(x,y), R(x,y,x))) ∧ ∀x∀y(Based_On(A(x,y), R(x,y,x)) → E(x)))