pertenece a la TBox, mientras que la frase: