Assertion list
scanner (primary) → MadeOf
Results from Ascent++: 1
scanner → MadeOf → robust materials 0.19