Assertion list
early human (subgroup of human ) → HasProperty
Results from Ascent++: 1
early human → HasProperty → smarter 0.43