3. The reasoning system of claim 2 , wherein each derivation method is further configured to define, at least partially by using a template, the at least one transformation to be performed by the derived context created by the derivation method.
3. The reasoning system of claim 2 , wherein each derivation method is further configured to define, at least partially by using a template, the at least one transformation to be performed by the derived context created by the derivation method. 4. The reasoning system of claim 3 , wherein the at least one transformation defined by at least one of the derivation methods comprises a freeze operation in which at least one of the inputs provided by the derived context to the base context is a stored constant value.