some changes in GringoGrounder