discussion:knowledge_reasoning