Assertion list for term "receive updated positional and navigation information".
Results from Ascent++: 1
spacecraft → CapableOf → receive updated positional and navigation information 0.30