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