Assertion list
meteoroid (primary) → IsA
Results from Ascent++: 1
meteoroid → IsA → small rocky or metallic body 0.35