Assertion list for term "differ in position".

Results from Ascent++: 1
atom CapableOfdiffer in position 0.34