Declarative Control of Generation Using Typed Feature Structure