Large light fixture in busy operating room.
Small LED lamp in empty storage closet.
Large and small are different sizes. A busy operating room & a empty storage closet are different locations.
exists s1 s2 s3 x1 x2 x3.(a_topic(x1) & in(x1,x2) & n_room(x2) & of(x2,x3) & n_operating(x3) & a_busy(s3) & Theme(s3,x2) & n_fixture(x1) & a_light(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1))
exists s1 s2 s3 x1 x2 x3.(a_topic(x1) & in(x1,x2) & n_closet(x2) & of(x2,x3) & n_storage(x3) & a_empty(s3) & Theme(s3,x2) & n_lamp(x1) & a_led(s2) & Theme(s2,x1) & a_small(s1) & Theme(s1,x1))