A boy jumped up from the green bed.
The boy just woke up.
Just because the boy jumped out of bed does not mean he just woke up.
exists e1 s1 s2 x1 x2.(n_bed(x2) & a_green(s2) & Theme(s2,x2) & from(e1,x2) & a_up(s1) & Manner(e1,s1) & Actor(e1,x1) & v_jump(e1) & n_boy(x1))
exists e1 s1 s2 x1.(n_boy(x1) & a_just(s2) & Manner(e1,s2) & a_up(s1) & Manner(e1,s1) & Actor(e1,x1) & v_wake(e1))