Assertion list
bed (aspect of hospital ) → AtLocation
Results from Ascent++: 1
bed → AtLocation → the corner of the room 0.25