Assertion list
iridium (primary) → AtLocation

Results from Ascent++: 1
iridiumAtLocation meteorite 0.58