Assertion list
microwave (primary) → AtLocation
Results from Ascent++: 2
microwave → AtLocation → the kitchen 0.45
microwave → AtLocation → right frequency 0.25