Assertion list
sheet metal (primary) → UsedFor
Results from Ascent++: 2
sheet metal → UsedFor → medical tables 0.25
sheet metal → UsedFor → roof 0.25