A cat sits in a trolley cart while people pass on the street.
The cat is sunning itself in the sunshine on this beautiful summer day.
The cat could just be sitting and not sunning it's self and it doesn't have to be summer.
exists e1 p1 x1 x2 x3 x5.(n_street(x5) & exists e2 x4.(on(e2,x5) & Actor(e2,x4) & v_pass(e2) & n_people(x4)) & while(e1,p1) & in(e1,x2) & n_cart(x2) & of(x2,x3) & n_trolley(x3) & Actor(e1,x1) & v_sit(e1) & n_cat(x1))
exists e1 s1 x1 x2 x3 x4 x5.(n_day(x4) & of(x4,x5) & n_summer(x5) & a_beautiful(s1) & Theme(s1,x4) & n_sunshine(x3) & n_thing(x2) & n_cat(x1) & on(e1,x4) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_sun(e1))