Assertion list
k gold (subgroup of gold ) → IsA

Results from Ascent++: 5
k goldIsA 99.9% pure 0.68
k goldIsA 75% gold 0.66
k goldIsA pure gold 0.48
k goldIsA 14 parts gold 0.33
k goldIsA alloy 0.25