Assertion list
white precipitate (subgroup of precipitate ) → HasProperty
Results from Ascent++: 1
white precipitate → HasProperty → insoluble 0.25