Assertion list
decimal point (primary) → HasProperty
Results from Ascent++: 1
decimal point → HasProperty → optional 0.43