Assertion list
iron meteorite (subgroup of meteorite ) → HasProperty
Results from Ascent++: 1
iron meteorite → HasProperty → heavy 0.25