La propiedad ID de la propiedad del snak siendo comprobada, la cual también es la propiedad en la que se define la restricción.