Use WMap to represent the set of chosen interpretations