Assertion list
initial state (subgroup of state ) → HasProperty
Results from Ascent++: 3
initial state → HasProperty → unknown 0.32
initial state → HasProperty → high 0.25
initial state → HasProperty → low 0.25