Two men are sitting and working in an ornate doorway.
There are two men sitting.
"Two men are sitting" is the same as "two men sitting"
exists e2 e1 s1 x1 x2 x3.(in(e2,x3) & n_doorway(x3) & a_ornate(s1) & Theme(s1,x3) & Actor(e2,x2) & v_work(e2) & n_man(x2) & card_eq_2(x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))
exists p1 x1 e1 x2 x3.((x1 = x2) & Actor(e1,x3) & v_sit(e1) & (x2 = x3) & n_man(x2) & card_eq_2(x2))