If Just about every atom in the body of the ground instance is during the set of recognized facts, then the head atom is included on the list of recognized specifics. This method is recurring until a set place is reached, and no a lot more points could be deduced. Naïve analysis produces the complete nominal product of This system.[7]At the same t