Assertion list
handle (aspect of faucet ) → HasProperty
Results from Ascent++: 4
handle → HasProperty → loose 0.26
handle → HasProperty → small 0.26
handle → HasProperty → smooth 0.26
handle → HasProperty → separate 0.25