Ascent++
Search
Assertion list
for term "small pegs".
Results from
Ascent++
:
1
corner
→
HasA
→
small pegs
0.27