Resolution inference