Implemented submodular ruleset for addition