Assertion list
electric lawn mower (subgroup of lawn mower ) → HasProperty
Results from Ascent++: 1
electric lawn mower → HasProperty → friendly 0.59