Parsing the KB