Assertion list
enriched uranium (subgroup of uranium ) → IsA
Results from Ascent++: 1
enriched uranium → IsA → nuclear weapons materials 0.16