Assertion list
new fuse (subgroup of fuse ) → CapableOf
Results from Ascent++: 1
new fuse → CapableOf → blow in short time 0.16