Assertion list
gopher tortoise (subgroup of tortoise ) → HasProperty
Results from Ascent++: 1
gopher tortoise → HasProperty → important 0.16