Assertion list
gas chainsaw (subgroup of chainsaw ) → IsA
Results from Ascent++: 1
gas chainsaw → IsA → must-have tool 0.16