Assertion list
body (aspect of ant ) → HasProperty
Results from Ascent++: 2
body → HasProperty → bright red 0.68
body → HasProperty → gray 0.68