Assertion list
pure beryl (subgroup of beryl ) → HasProperty

Results from Ascent++: 1
pure berylHasProperty colorless 0.68