Assertion list
boring (primary) → HasProperty
Results from Ascent++: 4
boring → HasProperty → good 0.56
boring → HasProperty → bad 0.31
boring → HasProperty → accurate 0.16
boring → HasProperty → exciting 0.16