Assertion list
cesium (primary) → HasProperty
Results from Ascent++: 2
cesium → HasProperty → reactive 0.65
cesium → HasProperty → soluble 0.26