LOAD-FACTS
Asserts facts loaded from a file.
(load-facts <
file-name
>)