Feature request: Add a parameter that enables merging multiple instances of the same axiom with different sets of axiom annotations #1099
Description
Derived from #1098
When terms are defined in two different inputs, the act of merging may lead to duplicate annotations. It would be nice to have a quick way of removing such duplicates when is clear that the annotation is indeed the same.
EDIT BY @matentzn
- Fold in docs from Documenting merge-axiom-annotation on repair command #1103 when fixing this