De esta operación resulta un predicado que es una copia de "R" pero con el valor "E" asignado a la variable "x".