Assertion list
rose gold (subgroup of gold ) → HasProperty

Results from Ascent++: 1
rose goldHasProperty ideal 0.16