Assertion list
animal protein (subgroup of protein ) → AtLocation

Results from Ascent++: 1
animal proteinAtLocation meat 0.40