Assertion list
water heater (primary) → AtLocation
Results from Ascent++: 3
water heater → AtLocation → garage 0.62
water heater → AtLocation → basement 0.56
water heater → AtLocation → closet 0.44