Assertion list
combatant (primary) → HasA
Results from Ascent++: 1
combatant → HasA → tree 0.46