Assertion list
body (aspect of caterpillar ) → CapableOf
Results from Ascent++: 3
body → CapableOf → shrink in length 0.41
body → CapableOf → rearrange all the cells 0.25
body → CapableOf → turn black 0.25