Assertion list
circuit breaker (primary) → AtLocation
Results from Ascent++: 2
circuit breaker → AtLocation → offposition 0.42
circuit breaker → AtLocation → the garage 0.38