Assertion list
fine print (primary) → HasProperty
Results from Ascent++: 1
fine print → HasProperty → long 0.16