Man in boat wearing athletic shorts, a backwards baseball cap and sunglasses unhooks a fish he has caught while fishing.
The man must catch more fish if his family is to eat a good supper tonight
The fact that the men in boat wearing athletic shorts, a backwards baseball cap and sunglasses unhooks a fish he has caught while fishing does not imply that the man must catch more fish.
exists e1 e3 e2 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(while(e3,x12) & n_fishing(x12) & Actor(e3,x10) & v_catch(e3) & all x13.(n_fish(x13) -> exists e4 x14.(Recipient(e4,x14) & Theme(e4,x1) & Actor(e4,x11) & v_sunglass(e4) & for(x14,x13) & n_unhook(x14))) & n_male(x1) & (x10 = x11) & n_man(x10) & while(e2,x9) & n_fishing(x9) & Actor(e2,x1) & v_catch(e2) & in(x1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & subset_of(x6,x4) & n_cap(x6) & of(x6,x8) & n_baseball(x8) & of(x6,x7) & n_backward(x7) & subset_of(x5,x4) & n_shorts(x5) & a_athletic(s1) & Theme(s1,x5) & (x2 = x3) & n_boat(x2) & n_man(x1))
exists e1 p1 x1 x2.(n_family(x2) & of(x2,x1) & n_male(x1) & n_man(x1) & all p2 e2.((Topic(e2,p2) & Actor(e2,x2) & v_be(e2) & exists e3 s1 x3 x4.(Theme(e3,x3) & Actor(e3,x2) & v_eat(e3) & n_tonight(x3) & of(x3,x4) & n_supper(x4) & a_good(s1) & Theme(s1,x3))) -> exists e4 s2 x5.(Theme(e4,x5) & Actor(e4,x1) & v_catch(e4) & n_fish(x5) & a_more(s2) & Theme(s2,x5))) & Topic(e1,p1) & Actor(e1,x1) & v_must(e1))