If Every atom in the human body of the bottom instance is within the list of recognised details, then the head atom is additional for the set of acknowledged points. This process is repeated right until a fixed issue is reached, and no much more facts could possibly be deduced. Naïve analysis generates the entire minimal model of This system.[seve