Assertion list
appliance (primary) → Desires
Results from Ascent++: 2
appliance → Desires → design 0.30
appliance → Desires → remove original 0.27