Assertion list
distance (primary) → IsA
Results from Ascent++: 4
distance → IsA → scalar quantity 0.43
distance → IsA → the point 0.35
distance → IsA → the space 0.33
distance → IsA → plenty of space 0.16