If Just about every atom in the body of the bottom occasion is from the list of known specifics, then the head atom is included into the set of identified specifics. This process is repeated right up until a set position is achieved, and no much more specifics may be deduced. Naïve evaluation makes your entire negligible model of the program.[7]En