Assertion list
drinker (primary) → AtLocation
Results from Ascent++: 1
drinker → AtLocation → treatment 0.38