Interpretation set resolving