Assertion list
body (aspect of cat ) → HasA
Results from Ascent++: 2
body → HasA → less work 0.29
body → HasA → other ideas 0.26