Assertion list
gazelle (primary) → HasProperty
Results from Ascent++: 6
gazelle → HasProperty → fast 0.54
gazelle → HasProperty → easy 0.36
gazelle → HasProperty → safe 0.33
gazelle → HasProperty → open 0.25
gazelle → HasProperty → graceful 0.25
gazelle → HasProperty → great 0.16