Assertion list
human extinction (subgroup of extinction ) → HasProperty
Results from Ascent++: 1
human extinction → HasProperty → wrong 0.59