Assertion list
ice maker (primary) → AtLocation

Results from Ascent++: 1
ice makerAtLocation the door 0.32