Assertion list for term "deduce true propositions".

Results from Ascent++: 1
mathematician CapableOfdeduce true propositions 0.25