discussion:sa:knowledge_reasoning