Assertion list
male elephant (subgroup of elephant ) → HasProperty

Results from Ascent++: 1
male elephantHasProperty dangerous 0.39