Assertion list
genuine leather (subgroup of leather ) → IsA
Results from Ascent++: 1
genuine leather → IsA → leather 0.25