The Logic of Typed Feature Structures