CRA v22.20 · Arqueología de partículas

nodos 0 aristas 0 nodoprimos 0 registros 0 lemas 0
1 ingesta
2 bitácora de compilación las dos capas, frase a frase

Sin compilar todavía.

3 registros copulativos estrato textual · inmutable

f_ser no ha depositado nada aún.

4 consulta se interroga en la contraria
5 diccionario persistente 0 lemas

6 superposición y poda carga fuentes y vota

7 notación formal estrato calculado · no deposita

Compila una ruta para obtener sus lecturas LP, LPO y conjuntista.

LP abstrae el enunciado como proposición; LPO explicita predicados, individuos y cuantificadores; TC ofrece su lectura extensional. Las relaciones entre proposiciones permanecen en un nivel secundario.

100%