Assertion list
put (primary) → HasProperty
Results from Ascent++: 1
put → HasProperty → equal 0.25