The ground action \(a_i=A\)  is replaced with \(B\) . The state directly after \(B\)  has finished executing is found. This then becomes the new initial state \(I^{\prime }\)  in the HModel. The framework uses the effects at each happening, computed by VAL [1]}, up to the replacement action to compute \(I^{\prime }\) .
