A waitress in a black T-shirt and black shorts at Cafe Mambo serves a tray of beverages to a seated customer in a red tank top and black bandanna.
No women are in the cafe.
A man wouldn't be wearing a red tank top so a woman has to be in the cafe.
exists e1 e2 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13.(ne_org_mambo(x5) & (x5 = x6) & ne_org_cafe(x6) & Theme(e2,x7) & Actor(e2,x1) & v_serve(e2) & of(x7,x8) & to(x8,x9) & in(x9,x10) & n_bandanna(x12) & a_black(s4) & Theme(s4,x12) & n_top(x11) & of(x11,x13) & n_tank(x13) & subset_of(x12,x10) & subset_of(x11,x10) & a_red(s3) & Theme(s3,x10) & n_customer(x9) & Theme(e1,x9) & v_seat(e1) & n_beverage(x8) & n_tray(x7) & in(x1,x2) & subset_of(x4,x2) & at(x4,x5) & n_shorts(x4) & a_black(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_t-shirt(x3) & a_black(s1) & Theme(s1,x3) & n_waitress(x1))
exists x2.(n_cafe(x2) & -exists p1 x1.(in(x1,x2) & n_woman(x1)))