a possible interpretation that obeys the overloading rules , that is, those rules that specify an expected type or expected profile, or specify how a construct shall resolve or be interpreted