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