Assertion list
lightweight stroller (subgroup of stroller ) → HasProperty
Results from Ascent++: 1
lightweight stroller → HasProperty → perfect 0.59