Oración 1: sin embargo, queremos verificar que, dado un camino, este sea un ciclo hamiltoniano y que pertenece al grafo que se esté analizando en tiempo de ejecución polinomial
Oración 2: que es verificable en tiempo polinomial
Conector: es decir,
Relación: entailment
Género: theses