Assertion list
sleeve tattoo (subgroup of tattoo ) → IsA
Results from Ascent++: 1
sleeve tattoo → IsA → tattoo 0.68