Assertion list
current state (subgroup of state ) → HasProperty
Results from Ascent++: 5
current state → HasProperty → idle 0.39
current state → HasProperty → unacceptable 0.31
current state → HasProperty → proper 0.25
current state → HasProperty → unknown 0.25
current state → HasProperty → good 0.16