Assertion list
heavy metal (subgroup of metal ) → AtLocation
Results from Ascent++: 1
heavy metal → AtLocation → water 0.35