Abstract In previous work, we used techniques from mathematical logic and model theory to study and compare two phonological theories, SPE and Government Phonology. The surprising result was that Government Phonology corresponds to a very weak fragment of SPE, yet it can attain the full expressivity of the latter through more powerful mechanisms of feature spreading. An issue that we didn’t elaborate on, however, is the question of what this increase in expressivity buys us in terms of empirical coverage, which we pick up in this paper. Again making good use of our model theoretic techniques, we investigate two phonological phenomena —- Sanskrit n-retroflexion and primary stress assignment in Creek and Cairene Arabic —- and show how much power feature spreading has to be granted in any descriptively adequate account which does not invoke additional technical machinery. These technical results are accompanied by reflections on the relation between empirically minded theory comparisons and the model theoretic approach.