Assertion list
leo satellite (subgroup of satellite ) → IsA
Results from Ascent++: 1
leo satellite → IsA → an iridium satellite 0.68