Assertion list for term "smaller toolbox".
Results from Ascent++: 1
buying → HasA → smaller toolbox 0.25