Assertion list
flat tire (subgroup of tire ) → HasProperty
Results from Ascent++: 3
flat tire → HasProperty → rare 0.25
flat tire → HasProperty → unavoidable 0.24
flat tire → HasProperty → dangerous 0.23