Propositional_knowledge loading ...