Vitalsource Technologies, Inc. Formal versus explanatory generalizations in generative transformational grammar