A female contortionist practices her solo performance on stage.
A female contortionist is asleep in bed.
A female contortionist practicing her solo performance on stage means she cannot be asleep in bed at the same time.
exists s1 s2 x1 x2 x3 x4 x5.(a_topic(x1) & on(x1,x5) & n_stage(x5) & n_performance(x1) & of(x1,x4) & n_solo(x4) & a_her(s2) & Theme(s2,x1) & of(x1,x3) & n_practice(x3) & of(x1,x2) & n_contortionist(x2) & a_female(s1) & Theme(s1,x1))
exists s1 s2 x1 x2.(in(s2,x2) & n_bed(x2) & Theme(s2,x1) & a_asleep(s2) & n_contortionist(x1) & a_female(s1) & Theme(s1,x1))