Mention map distributivity and join rules