Assertion list
white oak (subgroup of oak ) → HasA
Results from Ascent++: 1
white oak → HasA → leave 0.68