Assertion list
martian meteorite (subgroup of meteorite ) → IsA
Results from Ascent++: 1
martian meteorite → IsA → humankind 0.25