The use of reasoning in natural language understanding | IET Conference Publication | IEEE Xplore