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

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?

The issue names no files, tests, or entry points. Start by locating where Boomer exports the OWL file and SSSOM mapping table, then trace how user-facing output is presented; done requires a decided approach for clearly showing changes from exact to subclassof mappings.

Written by the indexing model from the issue text.