Assertion list
effect (aspect of insulin ) → AtLocation
Results from Ascent++: 1
effect → AtLocation → part 0.30