Oración 1: finalmente, se obtiene un árbol de números primos, cada uno asociado con un testigo "a"
Oración 2: a continuación se incluye un certificado completo de Pratt para el número 229:
Conector: por ejemplo,
Relación: entailment
Género: articles