Assertion list
sumatran tiger (subgroup of tiger ) → AtLocation
Results from Ascent++: 1
sumatran tiger → AtLocation → around 310 pounds 0.25