Ascent++
Search
Assertion list
for term "big diamond".
Results from
Ascent++
:
1
ring
→
HasA
→
big diamond
0.30