The Correct And Efficient Implementation Of Appropriateness Specifications For Typed Feature Structures