Assertion list
trowel (primary) → UsedFor
Results from Ascent++: 2
trowel → UsedFor → digging 0.50
trowel → UsedFor → smoothing 0.35