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