Sintácticamente representa una predicación.