Declarative_knowledge loading ...