Assertion list
body (aspect of caterpillar ) → HasA
Results from Ascent++: 1
body → HasA → a 25 mm 0.25