Several operations with typed feature structures can be defined. Three of them are of interest for the work presented in this thesis: subsumption, unification, and most general satisfier.
