Assertion list
piedmont (primary) → HasA
Results from Ascent++: 2
piedmont → HasA → capacity 0.54
piedmont → HasA → cash 0.54