Assertion list
coordinate (primary) → HasA
Results from Ascent++: 1
coordinate → HasA → value 0.38