Assertion list
natural emerald (subgroup of emerald ) → HasA
Results from Ascent++: 1
natural emerald → HasA → inclusion 0.41