GFs and "source" GFs subcategorised for by local predicates, but only the dislocated GFs are instantiated in generation.
traces of the source GFs in input f-structures are removed before generation, and non-projective dependencies are transformed into simple projective dependencies.