Assertion list
sea salt (subgroup of salt ) → IsA
Results from Ascent++: 1
sea salt → IsA → salt 0.48