Assertion list
problem (primary) → AtLocation
Results from Ascent++: 3
problem → AtLocation → np 0.52
problem → AtLocation → the wiring 0.41
problem → AtLocation → the code 0.36