Assertion list
body (aspect of diabetes ) → HasA
Results from Ascent++: 1
body → HasA → enough insulin 0.16