Ascent++
Search
groove
aspect of
pulley
,
1
assertions
HasProperty
1
deep
0.68