Assertion list for term "occur at opposite nodes".

Results from Ascent++: 1
eclipse CapableOfoccur at opposite nodes 0.25