semantic: Correctly disambiguate multiple withs.