Oración 1: esta función es "monótonamente no-decreciente", con tasa decreciente
Oración 2: el valor de formula_5 es siempre igual o mayor que el valor de formula_6
Conector: es decir,
Relación: entailment
Género: articles