Assertion list
lead bullet (subgroup of bullet ) → IsA
Results from Ascent++: 1
lead bullet → IsA → jacketed in harder metal 0.68