Assertion list
guard (primary) → AtLocation
Results from Ascent++: 2
guard → AtLocation → the room 0.45
guard → AtLocation → the kitchen 0.25