您要查找的是不是：
- multi-layers extension reasoning 双次可拓推理
- In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning. 相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
- He asked for an extension of his visa. 他申请延长签证有效期。
- He built an extension onto his house. 他给自己的住宅扩建了一部分。
- Extension of the injured arm was painful. 把受伤的胳膊伸展开是很疼的。
- I have every reason to be confident of our victory. 我有充分的理由坚信胜利是属于我们的。
- By extension, an array of any number of dimensions. 广义来说，矩阵可以是任意维数的数组。
- We have reason to believe that he was murdered. 我们有理由相信他是被谋杀的。
- What was the real reason for your absence? 你缺席的真正原因是什么？
- It is wise even in adversity to listen to reason. 灾难中听从理性的召唤也是明智的。
- We built an extension to our house. 我们扩建了我家的房屋。
- How can you be excused for such a silly reason? 你怎么会因为如此可笑的借口而得到原谅呢？
- For some reason or other I am in his bad books. 由于某种原因，我为他所不满。
- He looks down on us by reason that we are poor. 因为我们穷，他瞧不起我们。
- I will sell the house at a price within reason. 我将以合理的价格出售这幢房子。
- My brother often scolds me without reason. 我哥哥经常无故责备我。
- Extension of validity of bid shall normally not be requested. 一般来说不应要求延长投标有效期限。
- The stubborn child was at last brought to reason. 这个不听话的孩子最终明白过来了。
- Don't scold the child without reason. 不可无缘无故地责骂小孩。
- Based on speculative or abstract reasoning. 哲学上的，理论上的建立在思辩或抽象的推论之上的
