bugfix in AbstractGrounding