2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/147392In this paper, we argue that type inferencing incorrectly implements appropriateness specifications for typed feature structures, promote a combination of type resolution and unfilling as a correct and efficient alternative, and consider the expressive limits of this alternative approach. Throughout, we use feature cooccurence restrictions as illustration and linguistic motivation.5 pages, postscript, compressed and uuencoded (uudecodes to gerd_king.ps.Z)Computation and Languagetext