Assertion list
car tire (primary) → HasProperty
Results from Ascent++: 2
car tire → HasProperty → important 0.49
car tire → HasProperty → safe 0.16