A major reason for adding community tags is to be able to correctly find the correct subset of multi-meaning proper names e.g. Israel the nation vs. Israel the man ... but when Israel is used in the text, I am not offered Jacob (synonym of Israel) as an option.
