Este procedimiento se puede extender para tratar con predicados que expresan relaciones entre muchas entidades.