Assertion list
open (primary) → HasA
Results from Ascent++: 3
open → HasA → centerline 0.32
open → HasA → pore 0.25
open → HasA → proven track record 0.20