The signature of a ruleset extracted from a given rule project is determined by the transitive closure of the ruleset parameters of that rule project and all the rule projects it referencies.
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.