Assertion list
regular salt (subgroup of salt ) → IsA
Results from Ascent++: 1
regular salt → IsA → sodium chloride 0.68