Assertion list
hot desert (subgroup of desert ) → HasProperty
Results from Ascent++: 1
hot desert → HasProperty → more versatile 0.16