Assertion list
cold desert (subgroup of desert ) → IsA
Results from Ascent++: 1
cold desert → IsA → antarctica 0.25