A skydiver hangs from the undercarriage of an airplane or some sort of air gliding device.
The skydiver is sleeping in bed
A skydiver who hangs cannot be sleeping.
exists e1 x1 x2.(n_undercarriage(x2) & (exists x3.(from(e1,x2) & of(x2,x3) & n_airplane(x3)) | exists e2 x4 x5 x6.(from(e1,x2) & of(x2,x4) & of(x4,x5) & n_device(x5) & Actor(e2,x5) & v_glide(e2) & of(x5,x6) & n_air(x6) & n_sort(x4))) & Actor(e1,x1) & v_hang(e1) & n_skydiver(x1))
exists e1 x1 x2.(n_skydiver(x1) & in(e1,x2) & n_bed(x2) & Actor(e1,x1) & v_sleep(e1))