Assertion list
white marble (subgroup of marble ) → IsA
Results from Ascent++: 1
white marble → IsA → popular choice 0.16