Assertion list
body (aspect of monitor ) → HasProperty
Results from Ascent++: 2
body → HasProperty → human 0.25
body → HasProperty → white 0.25