Assertion list
accordion (primary) → CapableOf
Results from Ascent++: 5
accordion → CapableOf → fold the paper 0.36
accordion → CapableOf → fold the strip 0.25
accordion → CapableOf → get small trapezoid 0.25
accordion → CapableOf → match corner 0.25
accordion → CapableOf → make comeback 0.19