resolution inference