Spiegazione dei livelli 5/6
 
 
 - LOGICA (secondo il ws) -
 
 Permette le inferenze ovvero un processo deduttivo tramite il quale, date alcune premesse, si arriva ad una conclusione - Linguaggio Turing Completo
 
 - PROOF -
 
 Dimostrazione
 E' una sequenza di formule logiche, di passaggi necessari per arrivare all'obiettivo. Il linguaggio PROOF permettera' di scambiare ragionamenti e creare banche dati di collegamenti. Questi a loro volta saranno  utilizzabili da agenti software. Proof permettera' l'astrazione.