Three boys without shirts sit on concrete steps next to water.
They are wearing shirts
You cannot wear shirts and not wear shirts at the same time.
exists e1 s1 x1 x2 x3.(to(e1,x3) & n_water(x3) & r_next(e1) & on(e1,x2) & n_step(x2) & a_concrete(s1) & Theme(s1,x2) & Actor(e1,x1) & v_sit(e1) & -exists x4.(with(x1,x4) & n_shirt(x4)) & n_boy(x1) & card_eq_3(x1))
exists e1 x1 x2.(n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_shirt(x2))