The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formalrule theory.
结果发现:(1)空间位置和时间关系的推理结果都支持心理模型理论,而不支持形式规则理论。
3
A rule thus embodies a formal, implementable expression of some "user requirement," usually stated in textual form using a natural language (for example, English).