restored bottom-up hypothesis reduction