Assertion list for term "belong in final position".

Results from Ascent++: 1
intersection CapableOfbelong in final position 0.29