Assertion list
innocent (primary) → HasProperty
Results from Ascent++: 2
innocent → HasProperty → safe 0.33
innocent → HasProperty → successful 0.27