Assertion list
mining uranium (subgroup of uranium ) → HasProperty
Results from Ascent++: 1
mining uranium → HasProperty → feasible 0.59