Assertion list
asteroid belt (primary) → HasA
Results from Ascent++: 2
asteroid belt → HasA → main-belt comets 0.33
asteroid belt → HasA → bands of dust 0.25