Satz-Reduktion