SMS dit: Checking theory and grammatical functions in universal grammar