Assertion list
bandsaw (primary) → HasProperty
Results from Ascent++: 2
bandsaw → HasProperty → accurate 0.20
bandsaw → HasProperty → perfect 0.16