Assertion list
brake drum (primary) → HasProperty
Results from Ascent++: 1
brake drum → HasProperty → hot 0.25