Ascent++
Search
Assertion list
for term "come on top of cuts".
Results from
Ascent++
:
1
cut
→
CapableOf
→
come on top of cuts
0.27