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