Assertion list for term "exist for rim".

Results from Ascent++: 1
alloy CapableOfexist for rim 0.37