Assertion list
old growth forest (subgroup of forest ) → HasA

Results from Ascent++: 1
old growth forestHasA large trees 0.28