Enzyme Activity Curves and Qualitative Saturation Reasoning