The security guard is smiling.
Security guards are never bribed.
There is either one security guard, or more than one.
exists e1 x1 x2.(n_guard(x1) & of(x1,x2) & n_security(x2) & Actor(e1,x1) & v_smile(e1))
exists e1 s1 x1 x2.(a_never(s1) & Manner(e1,s1) & Theme(e1,x1) & v_bribe(e1) & n_guard(x1) & (x1 = x2) & ne_nam_security(x2))