Assertion list
rug (primary) → AtLocation
Results from Ascent++: 2
rug → AtLocation → high traffic area 0.43
rug → AtLocation → proportion 0.42