Assertion list
accounting (primary) → AtLocation

Results from Ascent++: 1
accountingAtLocation violation of applicable laws 0.25