Assertion list
trace mineral (subgroup of mineral ) → IsA
Results from Ascent++: 1
trace mineral → IsA → mineral 0.57