Assertion list
barter (primary) → HasProperty
Results from Ascent++: 2
barter → HasProperty → accessible 0.25
barter → HasProperty → undeveloped 0.25