Assertion list
trident (primary) → HasA
Results from Ascent++: 2
trident → HasA → more than 22,000 0.31
trident → HasA → consistent, exactly-once semant… 0.16