Assertion list
paving (primary) → HasProperty
Results from Ascent++: 2
paving → HasProperty → safe 0.24
paving → HasProperty → boring 0.16