hi:sa:knowledge_reasoning