Assertion list
trace mineral (subgroup of mineral ) → AtLocation

Results from Ascent++: 1
trace mineralAtLocation food 0.21