A framework for comparing and controlling number-based design reasoning systems