Assertion list for term "refolded".
Results from Ascent++: 2
fold → ReceivesAction → refolded 0.29
sail → ReceivesAction → refolded 0.25