Assertion list
washing machine (primary) → AtLocation
Results from Ascent++: 3
washing machine → AtLocation → the basement 0.30
washing machine → AtLocation → the bathroom 0.25
washing machine → AtLocation → every 0.16