Assertion list
feature (aspect of faucet ) → HasProperty
Results from Ascent++: 2
feature → HasProperty → useful 0.59
feature → HasProperty → great 0.47