Assertion list for term "allow for contraction".

Results from Ascent++: 1
joint CapableOfallow for contraction 0.27