Assertion list
body (aspect of doberman ) → HasProperty
Results from Ascent++: 2
body → HasProperty → square 0.68
body → HasProperty → compact 0.25