Assertion list
effect (aspect of msg ) → HasProperty
Results from Ascent++: 1
effect → HasProperty → subtle 0.16