Assertion list
devise (primary) → HasProperty
Results from Ascent++: 3
devise → HasProperty → good 0.50
devise → HasProperty → effective 0.39
devise → HasProperty → ineffective 0.33