This would be similar to the existing Holding.explain_contradiction method, except it would first have to identify which Holding creates the contradiction, and then it would have to supply a ContextRegister showing how the contradiction happens.
Opinion.explain_implication would be more difficult (when applied to another Opinion), because it would have to explain how every single Holding of the second Opinion was implied.
This would be similar to the existing Holding.explain_contradiction method, except it would first have to identify which Holding creates the contradiction, and then it would have to supply a ContextRegister showing how the contradiction happens.
Opinion.explain_implication would be more difficult (when applied to another Opinion), because it would have to explain how every single Holding of the second Opinion was implied.