Assertion list
boulder opal (subgroup of opal ) → IsA
Results from Ascent++: 1
boulder opal → IsA → opal 0.68