ref res
ref res
Interpretation set resolving