MergeTerms

Please refer to https://oboacademy.github.io/obook/howto/merge-terms/