Assertion list
insulin (primary) → AtLocation
Results from Ascent++: 3
insulin → AtLocation → the blood 0.47
insulin → AtLocation → maximum strength 0.25
insulin → AtLocation → error 0.16