Symbolic Knowledge Processing for the Acquisition of

9