Assertion list
body (aspect of sheep ) → HasA
Results from Ascent++: 1
body → HasA → excellent mix 0.40