Assertion list
steel wheel (subgroup of wheel ) → HasProperty
Results from Ascent++: 2
steel wheel → HasProperty → heavier 0.38
steel wheel → HasProperty → strong 0.36