Szerintem ugyanitt volt ez az önlab témája (talán TDK is) egyik jó barátomnak. Azt mesélte, hogy a legnagyobb gond az volt, hogy nehéz volt leképezni a létező szövegeket a saját logikai nyelvre.