Assertion list
sleeve tattoo (subgroup of tattoo ) → HasProperty
Results from Ascent++: 1
sleeve tattoo → HasProperty → impressive 0.59