Assertion list
supplier (primary) → Desires
Results from Ascent++: 1
supplier → Desires → supply good 0.48