Improving efficiency of merging symbolic rules into integrated rules: splitting methods and mergability criteria. Issue 2 (21st August 2014)