Assertion list
greenland shark (subgroup of shark ) → HasProperty
Results from Ascent++: 1
greenland shark → HasProperty → big 0.25