If body is not empy the atom grounded is undef
If the atom grounded have body empty is fact and all the instance
previusly derived is  fact