A : y R R : x R | e