Assertion list
coordinate (primary) → IsA
Results from Ascent++: 3
coordinate → IsA → number 0.40
coordinate → IsA → positive or negative real numbe… 0.25
coordinate → IsA → real numbers 0.25