Assertion list
bronze (primary) → IsA
Results from Ascent++: 3
bronze → IsA → alloy 0.82
bronze → IsA → the hardest metal 0.35
bronze → IsA → strong alloy 0.22