Assertion list
boulder (primary) → HasProperty
Results from Ascent++: 2
boulder → HasProperty → small 0.34
boulder → HasProperty → beautiful 0.16