"A es un B") como predicado.