Assertion list
pure gold (subgroup of gold ) → HasA

Results from Ascent++: 2
pure goldHasA bright yellow color 0.33
pure goldHasA a carat weight of 24 0.28