Assertion list
iridium satellite (subgroup of satellite ) → CapableOf
Results from Ascent++: 1
iridium satellite → CapableOf → maintain internal clock 0.25