Assertion list
body (aspect of centipede ) → HasProperty
Results from Ascent++: 2
body → HasProperty → flat 0.68
body → HasProperty → brown 0.25