A sample derivation, courtesy of Jon Cihlar (caveat: this uses slightly different assumptions about feature structures [namely, that Infl:Past on T is an INFL, not CAT feature], but the general structure of how to do a complete derivation is the same)