Assertion list
new tattoo (subgroup of tattoo ) → IsA
Results from Ascent++: 1
new tattoo → IsA → wound 0.56