Assertion list
orbit (aspect of moon ) → IsA
Results from Ascent++: 1
orbit → IsA → path 0.25