There is graffiti all over a yellow cafe express sign.
The cafe sign was red and flawless.
THere can be no grafitti if the sign is said to be flawless.
exists p1 s1 s2 x1 x2 x3.(r_all(p1) & over(p1,x2) & n_sign(x2) & a_express(s2) & Theme(s2,x2) & of(x2,x3) & n_cafe(x3) & a_yellow(s1) & Theme(s1,x2) & exists x4.((x1 = x4) & n_graffitus(x4)))
exists s1 s2 x1 x2 x3.(n_sign(x1) & of(x1,x3) & n_cafe(x3) & of(x1,x2) & n_cafe(x2) & Theme(s2,x1) & a_flawless(s2) & Theme(s1,x1) & a_red(s1))