Checking theory and grammatical functions in universal grammar