Assertion list
asteroid belt (primary) → IsA
Results from Ascent++: 1
asteroid belt → IsA → termed main asteroid belt 0.68