Assertion list for term "remain aligned".

Results from Ascent++: 1
joint CapableOfremain aligned 0.26