Assertion list
common opal (subgroup of opal ) → IsA
Results from Ascent++: 1
common opal → IsA → opal 0.34