Assertion list
body (aspect of cockroach ) → HasProperty
Results from Ascent++: 4
body → HasProperty → flat 0.68
body → HasProperty → oval 0.62
body → HasProperty → shiny 0.25
body → HasProperty → smooth 0.25