Assertion list
high explosive (subgroup of explosive ) → HasProperty
Results from Ascent++: 1
high explosive → HasProperty → safer 0.68