Assertion list
new tire (subgroup of tire ) → HasProperty
Results from Ascent++: 4
new tire → HasProperty → old 0.44
new tire → HasProperty → expensive 0.36
new tire → HasProperty → slick 0.36
new tire → HasProperty → necessary 0.35