Para ello solo necesitamos un esquema semántico que permita manejar predicados en los que la referencia queda plenamente fijada sin tener que recurrir a predicados de esencia.