Assertion list for term "carry four astronauts".

Results from Ascent++: 1
spacecraft CapableOfcarry four astronauts 0.25