Assertion list
body (aspect of millipede ) → HasProperty
Results from Ascent++: 2
body → HasProperty → cylindrical 0.81
body → HasProperty → round 0.68