Three landscape works clear away a fallen tree branch.
The fallen branch is large.
The tree branch may be small or large.
all s1 x1 x2.((n_branch(x1) & of(x1,x2) & n_tree(x2) & a_fallen(s1) & Theme(s1,x1)) -> exists s2 x3 x4 x5.(a_topic(x3) & n_away(x3) & for(x3,x1) & Theme(s2,x5) & a_clear(s2) & (x3 = x5) & n_work(x3) & of(x3,x4) & n_landscape(x4) & card_eq_3(x3)))
exists s1 s2 x1.(n_branch(x1) & a_fallen(s1) & Theme(s1,x1) & Theme(s2,x1) & a_large(s2))