Stav dette: Checking theory and grammatical functions in universal grammar