Ascent++
Search
Assertion list
for term "produce some proof".
Results from
Ascent++
:
1
locksmith
→
CapableOf
→
produce some proof
0.29