Assertion list
segment (aspect of millipede ) → HasA
Results from Ascent++: 2
segment → HasA → two pairs of legs 0.84
segment → HasA → only one pair of legs 0.25