Assertion list
treadmill (primary) → AtLocation
Results from Ascent++: 2
treadmill → AtLocation → gym 0.42
treadmill → AtLocation → communication 0.25