Assertion list
tread (aspect of tire ) → PartOf
Results from Ascent++: 1
tread → PartOf → the part of the tire 0.47