Assertion list
laptop (primary) → AtLocation
Results from Ascent++: 3
laptop → AtLocation → range 0.27
laptop → AtLocation → the shop 0.27
laptop → AtLocation → bag 0.16