Assertion list
foundry (primary) → IsA
Results from Ascent++: 1
foundry → IsA → factory 0.70