Assertion list
outer space (primary) → UsedFor
Results from Ascent++: 2
outer space → UsedFor → communication 0.33
outer space → UsedFor → navigation 0.25