Predicados compuestos, donde el predicado puede quedar bien en la variable de otro predicado.