Oración 1: para ello, vamos a forzar la desigualdad triangular sij ≤ sik + skj sobre la matriz MS
Oración 2: si sij > sik + skj, reemplazamos sij por sik + skj
Conector: es decir,
Relación: entailment
Género: theses