Oración 1: la segunda, que puede darse entre demostraciones de una misma relación de dependencia o de dos distintas, consiste en determinar si las demostraciones tienen una misma estructura o no
Oración 2: se trata de determinar si las demos- traciones emplean elementos homólogos y, en caso de que así sea, si el propósito de hacerlo es análogo
Conector: especificamente,
Relación: entailment
Género: theses