Assertion list
sleeve tattoo (subgroup of tattoo ) → CapableOf
Results from Ascent++: 1
sleeve tattoo → CapableOf → take lengthy time 0.59