Assertion list
stony meteorite (subgroup of meteorite ) → IsA
Results from Ascent++: 1
stony meteorite → IsA → rock 0.68