Assertion list
boron (primary) → HasA

Results from Ascent++: 1
boronHasA negative consequences 0.25