Assertion list for term "reductive".
Results from Ascent++: 3
wine → HasProperty → reductive 0.37
nose → HasProperty → reductive 0.31
definition → HasProperty → reductive 0.18