A red desk chair has been rolled away from the desk.
The red desk chair is moved to another desk.
A desk chair can be rolled away from the desk without being moved to another desk.
exists e1 s1 x1 x2.(from(e1,x2) & n_desk(x2) & n_desk(x2) & r_away(e1) & Theme(e1,x1) & v_roll(e1) & n_chair(x1) & of(x1,x2) & a_red(s1) & Theme(s1,x1))
exists e1 s1 x1 x2 x3.(n_desk(x3) & to(e1,x2) & n_desk(x2) & n_desk(x2) & -(x2 = x3) & Theme(e1,x1) & v_move(e1) & n_chair(x1) & of(x1,x2) & a_red(s1) & Theme(s1,x1))