Several extensions can be defined to augment the simple typed feature structure formalism presented so far. Without these extensions, typed feature structures can have features with arbitrary values [Carpenter1992]; defining several restrictions can enhance the logical control over non-determinism.