Assertion list
error message (subgroup of message ) → HasProperty
Results from Ascent++: 1
error message → HasProperty → informative 0.25