Assertion list
value (aspect of penny ) → HasProperty
Results from Ascent++: 2
value → HasProperty → high 0.35
value → HasProperty → equal 0.25