Assertion list
male elephant (subgroup of elephant ) → HasA
Results from Ascent++: 1
male elephant → HasA → tusk 0.65