Assertion list
smoker (primary) → MadeOf
Results from Ascent++: 2
smoker → MadeOf → stainless steel 0.43
smoker → MadeOf → thin metal 0.33