Assertion list for term "turn m5".

Results from Ascent++: 1
spindle CapableOfturn m5 0.38