Assertion list
south china tiger (subgroup of tiger ) → AtLocation
Results from Ascent++: 1
south china tiger → AtLocation → china 0.25