Assertion list
new satellite (subgroup of satellite ) → CapableOf
Results from Ascent++: 2
new satellite → CapableOf → enter service 0.34
new satellite → CapableOf → replace the company’s n-sat-110… 0.25