Assertion list for term "use contradiction".

Results from Ascent++: 1
mathematician CapableOfuse contradiction 0.30