Assertion list for term "fail after launch".
Results from Ascent++: 2
satellite → CapableOf → fail after launch 0.28
spacecraft → CapableOf → fail after launch 0.23