«takes as input a sequence of phrase-structure trees and modifies their labels according to a set of rules. ... Its rule notation is flexible enough to emulate head/argument-finding rules»