Assertion list
lever (primary) → MadeOf
Results from Ascent++: 2
lever → MadeOf → material 0.25
lever → MadeOf → stainless steel 0.25