Ascent++ | fold to compact size

Assertion list for term "fold to compact size".

Results from Ascent++: 2

cart → CapableOf → fold to compact size	0.29
headphone → CapableOf → fold to compact size	0.16