1
a study of nondemonstrative inference in transformational grammar