Text this: Set theory and syntactic description /