Assertion list
boundary (primary) → HasA
Results from Ascent++: 2
boundary → HasA → consequence 0.28
boundary → HasA → 140 miles 0.25