Assertion list
rodeo (primary) → HasProperty
Results from Ascent++: 6
rodeo → HasProperty → fun 0.35
rodeo → HasProperty → the oldest running 0.29
rodeo → HasProperty → open 0.26
rodeo → HasProperty → free 0.25
rodeo → HasProperty → dangerous 0.16
rodeo → HasProperty → loud 0.09