Assertion list
chairlift (primary) → HasProperty
Results from Ascent++: 4
chairlift → HasProperty → slow 0.42
chairlift → HasProperty → open 0.29
chairlift → HasProperty → a single 0.25
chairlift → HasProperty → safe 0.16