Assertion list
veterinarian (primary) → AtLocation
Results from Ascent++: 1
veterinarian → AtLocation → violation of the csa 0.16