Assertion list
picket fence (primary) → HasProperty
Results from Ascent++: 2
picket fence → HasProperty → right 0.25
picket fence → HasProperty → perfect 0.16