Assertion list
impurity (primary) → Desires
Results from Ascent++: 1
impurity → Desires → bind to electron 0.25