This is a solved problem, as it comes up in situations such as CEO bonuses, sports betting, and prediction markets. You either specify the definition in the bon

This is a solved problem, as it comes up in situations such as CEO bonuses, sports betting, and prediction markets. You either specify the definition in the bonus (eg: according to the FBI's UCR data definitions as of 2019) or you delegate an arbitrator (eg: the GAO). If this weren't solvable then the world would look very different. CEOs and acquired companies would never have compensation tied to target metrics. Sports betting would be rife with lawsuits and fraud. And economic metrics would be as accurate as those claimed by the Soviet Union.