Oración 1: en efecto, por cada distancia podemos incluir una relación de aridad 2 etiquetada con el valor de la distancia
Oración 2: si (X, d) es un espacio métrico y tomamos x, y ∈ X tal que d(x, y) = i, decimos que x, y están relacionados por la relación Ri que indica -estamos a una distancia i-
Conector: por ejemplo,
Relación: entailment
Género: theses