Five men, with matching red shirts, stand on the gymnasium floor in honor.
the men were all at the gym
All five men standing in gymnasium floor in honor with matching red shirts.
exists e1 s1 x1 x2 x3 x4 x5 x6.(n_floor(x4) & of(x4,x5) & n_gymnasium(x5) & a_topic(x1) & with(x1,x2) & rel(x2,x3) & on(x3,x4) & in(x4,x6) & n_honor(x6) & n_stand(x3) & n_shirt(x2) & a_red(s1) & Theme(s1,x2) & Actor(e1,x2) & v_match(e1) & n_man(x1) & card_eq_5(x1))
exists p1 s1 x1 x2.(n_gym(x2) & n_man(x1) & a_all(s1) & Manner(p1,s1) & at(x1,x2))