Assertion list
body (aspect of alligator ) → HasProperty
Results from Ascent++: 4
body → HasProperty → black 0.25
body → HasProperty → brown 0.25
body → HasProperty → gray 0.25
body → HasProperty → intact 0.25