As the XTAG grammar has been developed by as many as a dozen developers, over a period of more than a decade, such errors are probably unavoidable.
it is totally well-typed if, in addition, every feature F such that Approp(t, F) is defined occurs in A.