Ratso Catso Gets Grounded Big Time (Extended Version)