Assertion list
segment (aspect of centipede ) → HasA
Results from Ascent++: 1
segment → HasA → one pair of legs 0.68