Assertion list
orbit (aspect of satellite ) → IsA
Results from Ascent++: 1
orbit → IsA → the path 0.37