Assertion list
rear bumper (subgroup of bumper ) → HasProperty
Results from Ascent++: 1
rear bumper → HasProperty → new 0.68