Assertion list
body (aspect of monkey ) → HasProperty
Results from Ascent++: 3
body → HasProperty → upright 0.68
body → HasProperty → nimble 0.25
body → HasProperty → calm 0.16