Tags and keywords
The claimed contradiction is again recorded using tagged values for
contradictedBy on the apparently contradictory Snippets.
This approach is robust, but it is quite verbose (although there is no need to display the verbose tagged values in every diagram). It is also as not as easily queried or traced as a first class Relationship. Hopefully SysMLv2 will help address this: