(load "load")
(load-comp)
(setq *test-prefix* "test/")
(setf *print-relations-defined-during-learning* t)
(time(test-focl))
