Assertion list
amount (aspect of salt ) → HasProperty
Results from Ascent++: 2
amount → HasProperty → equal 0.43
amount → HasProperty → small 0.25