Sin embargo, hoy en lógica formal no se hace ninguna distinción porque en cualquier caso se considera como predicado que enuncia una propiedad.