introduce min/max to the disambiguator and simplify one English disambiguation rule thanks to this feature