Assertion list
body (aspect of poodle ) → HasProperty
Results from Ascent++: 3
body → HasProperty → compact 0.25
body → HasProperty → lean 0.25
body → HasProperty → short 0.25