Assertion list
wallet (primary) → AtLocation

Results from Ascent++: 3
walletAtLocation beta 0.39
walletAtLocation the car 0.33
walletAtLocation the brevet card pocket 0.25