Decomposition decrement

If an intrinsic decomposition is selected, then a decomposition decrement, denoted d, needs to be selected before proceeding to Task F. This is done by non-deterministically selecting a value within the following integer interval ... 

Example 12-12 For the firstPlateau/3 problem, suppose the intrinsic decomposition strategy is selected, and that the decomposition decrement d is selected to be 1, namely from the interval [1,...,2]. 

Generalize into properties, if possible, the examples where X is of a size equal to or less than some integer n, where n is the largest size where this leads to properties without recursion and without redundancy of information. Set m to A2 + d, where d is the decomposition decrement. The most useful generalization technique is the maximally repeated application of the replacing-a-constant-by-a-variable inductive inference rule to an example this often requires a subsequent specialization by introduction of a body to the resulting unit clause. 

This methodology abstracts away the internal apparatus of the synthesis mechanism, but algorithmic and mathematical concepts such as induction parameter, term size, decomposition decrement, and so on, are hard to avoid in its formulation. 

K. Rice, J. Chem. Phys, 9, 258 (1941). Rice assumes that most decomposition into atoms occurs from species I2 with energy within kT of dissociation. This implies that for the reverse reaction of association, deactivation of IJ by M goes through small decrements of energy. 

---