A rule is called ground if all of its atoms (head and body) are floor. A ground rule R1 is really a ground instance of A further rule R2 if R1 is the result of a substitution of constants for every one of the variables in R2. The Herbrand base https://integrated-management-sys21087.blogkoo.com/getting-my-integrated-management-system-to-work-53256564