The trailer is white
The trailer is brand new and white
Just because the trailer is white does not mean that it is brand new, it could be many years old and still be white.
exists s1 x1.(n_trailer(x1) & Theme(s1,x1) & a_white(s1))
exists s1 s2 x1.(n_trailer(x1) & Theme(s2,x1) & a_white(s2) & r_brand(s1) & Theme(s1,x1) & a_new(s1))