Assertion list for term "pass behind the sun".

Results from Ascent++: 1
spacecraft CapableOfpass behind the sun 0.28