Assertion list
bicycle (primary) → AtLocation
Results from Ascent++: 2
bicycle → AtLocation → the garage 0.45
bicycle → AtLocation → unauthorized areas 0.16