What is the best way to communicate changes in axioms to a user

[matentzn]

Consider this:

• the user provides mappings in a ptable of the "exact" variety
• then boomer applies these, but changes some of them to "subclassof"

We should communicate this clearly to the user. The question is: should this be implemented as a mappingset diff? I.e. Boomer exports and sssom mapping table alongside the owlfile and we show a sssom diff to the user between the input mappings and the output? Or should boomer say something in a nicely formatted markdown?