Oración 1: valid: En términos de las transacciones pendientes, toda transacción que no tenga resolución será inválida
Oración 2: esta variable refleja el valor contrario de pending (es decir, si está pendiente entonces no es válida)
Conector: en otras palabras,
Relación: entailment
Género: theses