Resolving Over Defined Sketches