Assertion list
body segment (aspect of millipede ) → HasA
Results from Ascent++: 1
body segment → HasA → one pair of legs 0.82