Oración 1: queremos decidir que, dado un camino c, este es o no una solución del problema
Oración 2: el verificador va a aceptar o rechazar el camino dado
Conector: en otras palabras,
Relación: entailment
Género: theses