Assertion list
space shuttle (primary) → UsedFor
Results from Ascent++: 1
space shuttle → UsedFor → cargo transfer 0.38