Assertion list
phosphate (primary) → AtLocation
Results from Ascent++: 1
phosphate → AtLocation → beverage 0.25