Assertion list
hot desert (subgroup of desert ) → IsA
Results from Ascent++: 1
hot desert → IsA → the sahara 0.68