Assertion list
drifting (primary) → HasProperty
Results from Ascent++: 5
drifting → HasProperty → easy 0.41
drifting → HasProperty → successful 0.41
drifting → HasProperty → dangerous 0.26
drifting → HasProperty → difficult 0.26
drifting → HasProperty → fun 0.16