If Every atom in the body of the bottom occasion is from the list of identified details, then The top atom is extra for the list of identified points. This process is recurring until a fixed level is reached, and no much more points could be deduced. Naïve evaluation produces the entire small d