Assertion list
ferris wheel (primary) → HasProperty
Results from Ascent++: 4
ferris wheel → HasProperty → slow 0.81
ferris wheel → HasProperty → fun 0.59
ferris wheel → HasProperty → open 0.51
ferris wheel → HasProperty → taller 0.51