Dari Claim ke Graph of Accepted Facts
Sebelum mesin dapat menilai dunia nyata secara deterministik, ia harus menutup dunia itu secara eksplisit: mengevaluasi Claim yang masih terbuka, memproyeksikan Accepted Facts ke dalam graf yang dapat ditelusuri, membekukan batasnya, dan menjaga jalan untuk banding.
