Assertion list
silverware (primary) → HasProperty
Results from Ascent++: 2
silverware → HasProperty → beautiful 0.46
silverware → HasProperty → heavy 0.29