Assertion list
tattoo ink (subgroup of ink ) → HasA
Results from Ascent++: 1
tattoo ink → HasA → heavy metals 0.23