Assertion list
rafter (primary) → HasProperty
Results from Ascent++: 2
rafter → HasProperty → stable 0.36
rafter → HasProperty → straight 0.25