Reasoning about Actions with Slg