Knowledge_representation_language loading ...