The room is carpeted.
The room's floor is green
Not all room carpeted is green.
exists e1 x1.(n_room(x1) & Theme(e1,x1) & v_carpet(e1))
exists s1 x1 x2.(n_floor(x2) & of(x2,x1) & n_room(x1) & Theme(s1,x2) & a_green(s1))