Assertion list
yellow precipitate (subgroup of precipitate ) → HasProperty
Results from Ascent++: 1
yellow precipitate → HasProperty → soluble 0.68