Assertion list
crate (primary) → AtLocation
Results from Ascent++: 3
crate → AtLocation → the kitchen 0.31
crate → AtLocation → the living room 0.25
crate → AtLocation → the water 0.25