Assertion list
orbit (primary) → IsA
Results from Ascent++: 3
orbit → IsA → the path 0.39
orbit → IsA → bony cavity 0.33
orbit → IsA → curved path of an object 0.28