Assertion list for term "join the upper".

Results from Ascent++: 1
stitch CapableOfjoin the upper 0.30