Siendo formula_62 un predicado que se aplica a una variable individual formula_63.