Assertion list
scope (primary) → AtLocation
Results from Ascent++: 2
scope → AtLocation → tdl procedural block 0.27
scope → AtLocation → the running 0.27