Two men decide what to do with an obstructing fallen branch.
The men are strong enough to lift the branch.
The men may not be strong enough to lift the branch at all.
exists x1.(exists e1 p1 x2.(n_thing(x2) & Theme(e1,x2) & Actor(e1,x1) & v_decide(e1) & exists e3 e2 s1 x3 x4.(with(e2,x4) & n_branch(x4) & a_fallen(s1) & Theme(s1,x4) & Actor(e3,x4) & v_obstruct(e3) & Theme(e2,x2) & Actor(e2,x3) & v_do(e2) & n_thing(x3))) & n_man(x1) & card_eq_2(x1))
exists p1 s1 s2 x1 x2.(n_branch(x2) & n_man(x1) & a_enough(s2) & Manner(s1,s2) & Topic(s1,p1) & Actor(s1,x1) & a_strong(s1) & exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_lift(e1)))