Assertion list
sink (aspect of toilet ) → AtLocation
Results from Ascent++: 1
sink → AtLocation → the room 0.47