Formal versus explanatory generalizations in generative transformational grammar