Assertion list
epilogue (primary) → HasProperty
Results from Ascent++: 2
epilogue → HasProperty → long 0.25
epilogue → HasProperty → perfect 0.16