Assertion list
orbit (aspect of satellite ) → UsedFor
Results from Ascent++: 1
orbit → UsedFor → assembly 0.29