AssertionMessageRelationship
sealed abstract class AssertionMessageRelationship(arc: OtherFormulaArc, resolvedFrom: ResolvedLocatorOrResource[_ <: Assertion], resolvedTo: ResolvedLocatorOrResource[_ <: Message]) extends ElementMessageRelationship
An AssertionSatisfiedMessageRelationship or AssertionUnsatisfiedMessageRelationship.
An AssertionSatisfiedMessageRelationship or AssertionUnsatisfiedMessageRelationship.