If Each and every atom in your body of the ground instance is during the set of recognised facts, then the head atom is additional for the list of recognized information. This process is repeated until finally a hard and fast level is attained, and no a lot more facts may very well be deduced. Na&iu