Assertion list
push button (primary) → HasProperty
Results from Ascent++: 4
push button → HasProperty → useful 0.26
push button → HasProperty → reliable 0.25
push button → HasProperty → large 0.19
push button → HasProperty → waterproof 0.16