Formalizzazioni dalle istanze archiviate (Attenzione che la ricerca non funziona)
Funzioni filtrate dalla conversazione, le più significative sono poi sviluppate nelle sezioni Formalizzazioni e Istruzioni Custom.
Formalizzare la metrica assiomatica
https://moodnd.com/node/265
Infinite inferenze di Sub Entità
https://moodnd.com/node/263