Assertion list
tropical island (subgroup of island ) → HasProperty
Results from Ascent++: 1
tropical island → HasProperty → accessible 0.16